Functor Solver.Make (.ml)

module Make: 
functor (Dummy : sig

end) -> 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