upgrade to clasp3 (--> dramatic simplification of implementation)
some fixes
some fixes
fix a bug in new ClaspSolver
fix a bug in theory propagation
some fixes in ClaspSolver
some fixes in ClaspSolver
some fixes in ClaspSolver
upate ClaspSolver
update ClaspSolver
fix assumptions in ClaspSolver
remove ClaspSolver implementation using multithreading
some further fixes in ClaspSolver
finish implementation of ClaspSolver for Clasp 3
some improvements in ClaspSolver
some improvements in ClaspSolver
some modifications in ClaspSolver
some restructuring and simplification in ClaspSolver
some simplifications in G&C model generator
update ClaspSolver