sig
  exception Sat
  exception Unsat of Enumsolver_types.clause list
  module Make :
    functor (Dummy : sig  end) ->
      sig
        type state
        val solve : unit -> unit
        val assume : (Hstring.t * int * int) list list -> cnumber:int -> unit
        val clear : unit -> unit
        val save : unit -> Enumsolver.Make.state
        val restore : Enumsolver.Make.state -> unit
      end
end