Solverのリリース