Module Sat_solver

module Sat_solver: sig .. end

Interface to MSat

include Sat_solver_intf

module Make: functor (Dummy : sig
end) -> S

val set_compact : bool -> unit

Toggle compact proofs. if true, collapse internal resolution nodes in proofs