Adding simple backend. Solver -> SimpleSolver / SatSolver aka CnfFormula