IncrementalSolverBuilder.Make
module Solver : INCREMENTAL_SOLVER
module Logger : sig ... end
val counter : int Stdlib.ref
Query counter
val next : unit -> string
val push : SMT.t -> unit
val pop : int -> unit
val check_sat : SMT.t -> ('a, 'b) Backend_sig.status