finish implementation of ClaspSolver for Clasp 3