package smtml

  1. Overview
  2. Docs
val make : ?params:Params.t -> ?logic:Ty.logic -> unit -> M.solver with_cont
val push : M.solver with_cont -> unit
val pop : M.solver with_cont -> int -> unit
val reset : M.solver with_cont -> unit
val add : M.solver with_cont -> Expr.t list -> unit
val check : M.solver with_cont -> assumptions:Expr.t list -> [ `Sat | `Unsat | `Unknown ]
val model : M.solver with_cont -> M.model with_cont option
val add_simplifier : M.solver with_cont -> M.solver with_cont
val interrupt : 'a with_cont -> unit
val pp_statistics : Format.formatter -> M.solver with_cont -> unit
OCaml

Innovation. Community. Security.