ocaml-sat-solvers
Preprocessor
class preprocessorSolverFactory : Satwrapper.solverFactory -> object ... end