ocaml-sat-solvers
Pseudosatwrapper
class pseudoSolverFactory : object ... end
val get_pseudo_factory : pseudoSolverFactory