Module AltErgoLib.Satml

exception Sat
exception Unsat of Expr.Labeled.Set.t option
exception Last_UIP_reason of Satml_types.Atom.Set.t
type nonrec conflict_origin = Satml_intf.conflict_origin =
  1. | C_none
  2. | C_bool of Satml_types.Atom.clause
  3. | C_theory of Explanation.t
val src : Logs.src
module type SAT_ML = Satml_intf.SAT_ML
module Make (Th : Theory.S) : SAT_ML with type th = Th.t