ocaml-sat-solvers
Pseudosatwrapper.pseudoSolverFactory
inherit Satwrapper.solverFactory
method description : string
method identifier : string
method short_identifier : string
method copyright : string
method url : string
method new_instance : Satwrapper.abstractSolver