package encoding

  1. Overview
  2. Docs
module Fresh : sig ... end
type model
type solver
type status
type optimize
type handle
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 -> Stdlib.Format.formatter -> Expr.t list -> unit
val set_debug : bool -> unit
module Solver : sig ... end
module Optimizer : sig ... end
OCaml

Innovation. Community. Security.