package ocaml-sat-solvers

You can search for identifiers within the package.

in-package search v0.2.0

An abstraction layer for integrating SAT Solvers into OCaml

Install

sha256=274a4216a2dc7d72bd565de9e211c255cf1d67df63a8eb20fa79c78ba17a423d

md5=7e5ccb4b21397c04c579aecd3c618825

val register_solver : Satwrapper.solverFactory -> unit

val mem_solver : string -> bool

val find_solver : string -> Satwrapper.solverFactory

val enum_solvers : (Satwrapper.solverFactory -> unit) -> unit

val fold_solvers : (Satwrapper.solverFactory -> 'a -> 'a) -> 'a -> 'a

val get_list : unit -> Satwrapper.solverFactory list

val get_default : unit -> Satwrapper.solverFactory

val set_default : string -> unit