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.