package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t

type solver

val solver_time : float ref

val solver_count : int ref

val pp_statistics : Format.formatter -> t -> unit

val create : ?params:Smtml.Params.t -> ?logic:Smtml.Ty.logic -> unit -> t

val interrupt : t -> unit

val clone : t -> t

val push : t -> unit

val pop : t -> int -> unit

val reset : t -> unit

val add : t -> Smtml.Expr.t list -> unit

val get_assertions : t -> Smtml.Expr.t list

val check : t -> Smtml.Expr.t list -> [ `Sat | `Unsat | `Unknown ]

val get_value : t -> Smtml.Expr.t -> Smtml.Expr.t

val model : ?symbols:Smtml.Symbol.t list -> t -> Smtml.Model.t option