package ocaml-sat-solvers

You can search for identifiers within the package.

in-package search v0.2.0

Class `Internalsatwrapper.internalSatSolverFactory`

inherit Satwrapper.solverFactory

method description : string

method identifier : string

method short_identifier : string

method copyright : string

method url : string

method new_timed_instance : Timing.timetable -> Satwrapper.abstractSolver

method new_instance : Satwrapper.abstractSolver