package smtml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameter `Incremental._`

type model

The type of SMT models.

type solver

The type of SMT solvers.

type optimize

The type of optimizers.

type handle

The type of optimization handles.

val value : model -> Expr.t -> Value.t

value model expr evaluates the expression expr in the given model.

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

values_of_model ?symbols model retrieves the values of the given symbols (or all symbols if not provided) from the model.

val set_debug : bool -> unit

set_debug flag enables or disables debug mode based on flag.

module Smtlib : sig ... end

module Solver : sig ... end

module Optimizer : sig ... end