package encoding

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Fresh : sig ... end

include Mappings_intf.S with type optimize = Z3.Optimize.optimize

type model

type solver

type status

type optimize = Z3.Optimize.optimize

type handle

exception Error of string

val update_param_value : 'a Params.param -> 'a -> unit

val interrupt : unit -> unit

val satisfiability : status -> Mappings_intf.satisfiability

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

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

val pp_smt : ?status:bool -> Format.formatter -> Expr.t list -> unit

module Solver : sig ... end

module Optimizer : sig ... end