/**
* @return MiniSAT with decision UIP clause generator.
*/
public static Solver<ILits,DataStructureFactory<ILits>> newRelsat() {
MiniSATLearning<ILits,DataStructureFactory<ILits>> learning = new MiniSATLearning<ILits,DataStructureFactory<ILits>>();
Solver<ILits,DataStructureFactory<ILits>> solver = new Solver<ILits,DataStructureFactory<ILits>>(new DecisionUIP(), learning,
new MixedDataStructureDaniel(), new VarOrderHeap<ILits>(),
new MiniSATRestarts());
learning.setDataStructureFactory(solver.getDSFactory());
learning.setVarActivityListener(solver);
return solver;