package sattools

  1. Overview
  2. Docs
type solver
val create : unit -> solver
val destroy : solver -> unit
val add_clause : solver -> int list -> unit
val solve : solver -> unit Result.t
val solve_with_model : solver -> int list Result.t
val model : solver -> int -> Lbool.t
OCaml

Innovation. Community. Security.