package ocaml-sat-solvers

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class `Externalsat.externalSolverFactory`

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