package sattools

  1. Overview
  2. Docs
module type Cnf = sig ... end
module IntList : Cnf
module Make (Cnf : Cnf) : sig ... end
val write : Pervasives.out_channel -> IntList.t -> unit
val read_sat_result : string -> int list Result.t
val run : ?solver:string -> IntList.t -> int list Result.t
OCaml

Innovation. Community. Security.