Up – Package index » ocaml-sat-solvers » Library ocaml-sat-solvers » Pseudosatwrapper

Module `Pseudosatwrapper`

class pseudoSolverFactory : object ... end

val get_pseudo_factory : pseudoSolverFactory