package ocaml-sat-solvers

  1. Overview
  2. Docs

Module Satsolvers

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