Module Smtml.Z3_mappings2Source

Sourcemodule Fresh : sig ... end
Sourceval is_available : bool
include Mappings_intf.S
Sourcetype model
Sourcetype solver
Sourcetype optimize
Sourcetype handle
Sourceval value : model -> Expr.t -> Value.t
Sourceval values_of_model : ?symbols:Symbol.t list -> model -> Model.t
Sourceval pp_smt : ?status:bool -> Format.formatter -> Expr.t list -> unit
Sourceval set_debug : bool -> unit
Sourcemodule Solver : sig ... end
Sourcemodule Optimizer : sig ... end