Module SatSolver

module SatSolver: sig .. end

Interface to SAT solvers.

type value = int

F | T | X

type solution =

val string_of_value : value -> string

module type S = sig .. end

val solver : string Pervasives.ref

Set the solver to use. Currently available solvers: Dpt (default), Glueminisat, Minisat. In JS we always return Dpt.

val get_solver : unit -> (module SatSolver.S)

val delete_dimacs_files : bool Pervasives.ref

If false, dimacs files generated for external solvers will be preserved.