package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 -> Prelude.Fmt.formatter -> Expr.t list -> unit
val set_debug : bool -> unit
module Solver : sig ... end
module Optimizer : sig ... end
OCaml

Innovation. Community. Security.