Module `Lazy_cnf.Make`

Parameters

E : Libzipperposition.Env.S

Signature

module Env = E

module C : module type of Env.C with type C.t = Env.C.t

Registration

val setup : unit -> unit: Register rules in the environment

val update_form_counter : action:[< `Decrease | `Increase ] -> C.t -> unit
val solve_bool_formulas : C.t -> C.t CCList.t option