Module AltErgoLib.Satml

exception Sat
exception Unsat of Satml_types.Atom.clause list option
exception Last_UIP_reason of AltErgoLib.Satml_types.Atom.Set.t
type conflict_origin =
  1. | C_none
  2. | C_bool of Satml_types.Atom.clause
  3. | C_theory of Explanation.t
module type SAT_ML = sig ... end
module Make (Th : Theory.S) : SAT_ML with type th = Th.t