/**
* @return a default minilearning SAT solver using counter-based clause
* representation (i.e. all the literals of a clause are watched)
*/
public static Solver<ILits,DataStructureFactory<ILits>> newMiniLearningCB() {
return newMiniLearning(new ClausalDataStructureCB());
}