Module Solver.Unsat_state
type t
= [ `UNSAT ] state
val unsat_conflict : t -> Mc2_core__.Solver_types.clause
Returns the unsat clause found at the toplevel
Solver.Unsat_state
type t
= [ `UNSAT ] state
val unsat_conflict : t -> Mc2_core__.Solver_types.clause
Returns the unsat clause found at the toplevel