Functor Solver.Make (.ml)

module Make: 
functor (Dummy : sig
end) -> sig .. end
Parameters:
Dummy : sig end

type state 
val solve : unit -> unit
val assume : Literal.LT.t list list -> cnumber:int -> unit
val clear : unit -> unit
val save : unit -> state
val restore : state -> unit