public static Solver<ILits23,DataStructureFactory<ILits23>> newMini3SATb() {
MiniSATLearning<ILits23,DataStructureFactory<ILits23>> learning = new MiniSATLearning<ILits23,DataStructureFactory<ILits23>>();
Solver<ILits23,DataStructureFactory<ILits23>> solver = new Solver<ILits23,DataStructureFactory<ILits23>>(new FirstUIP(), learning,
new MixedDataStructureWithBinaryAndTernary(), new SearchParams(
Integer.MAX_VALUE), new JWOrder(),
new MiniSATRestarts());
learning.setDataStructureFactory(solver.getDSFactory());
learning.setVarActivityListener(solver);
return solver;
}