upate ClaspSolver