You can search for identifiers within the package.
in-package search v0.2.0
type t
An instance of minisat (stateful)
type 'a printer = Stdlib.Format.formatter -> 'a -> unit
module Lit : sig ... end
type assumptions = Lit.t array
module Raw : sig ... end
val create : unit -> t
exception Unsat
val add_clause_l : t -> Lit.t list -> unit
Unsat
if the problem is unsat
val add_clause_a : t -> Lit.t array -> unit
val pp_clause : Lit.t list printer
val simplify : t -> unit
val solve : ?assumptions:assumptions -> t -> unit
type value =
| V_undef
| V_true
| V_false
val value : t -> Lit.t -> value
val set_verbose : t -> int -> unit