sat-solvers -> tools, working minisat/simp