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

Module `Satsolvers`Source

Sourceval register_solver : Satwrapper.solverFactory -> unit

Sourceval mem_solver : string -> bool

Sourceval find_solver : string -> Satwrapper.solverFactory

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

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

Sourceval get_list : unit -> Satwrapper.solverFactory list

Sourceval get_default : unit -> Satwrapper.solverFactory

Sourceval set_default : string -> unit