Module type `Solver.E`

External solver interface.

type t
type var
type lit

val create : unit -> t
val set_verbosity : t -> int -> unit
val add_clause : t -> lit list -> unit
val add_at_most : t -> lit list -> int -> unit
val add_at_least : t -> lit list -> int -> unit
val add_exactly : t -> lit list -> int -> unit
val new_var : t -> var
val simplify : t -> unit
val solve : t -> solution
val value_of : t -> var -> value
val get_stats : t -> stats
val positive_lit : var -> lit
val negative_lit : var -> lit
val negate : lit -> lit