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

Module `Externalsat`

ocaml-sat-solvers
- Library ocaml-sat-solvers

class externalSolverFactory : string -> object ... end