package smtml

  1. Overview
  2. Docs

Parameters

Signature

type model
type solver
type optimize
type handle
val value : model -> Expr.t -> Value.t
val values_of_model : ?symbols:Symbol.t list -> model -> Model.t
val pp_smt : ?status:bool -> Stdlib.Format.formatter -> Expr.t list -> unit
val set_debug : bool -> unit
module Solver : sig ... end
module Optimizer : sig ... end
OCaml

Innovation. Community. Security.