ocaml-sat-solvers
  1. Overview
  2. Docs
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