update ClaspSolver