package ocaml-sat-solvers

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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