package smtml

  1. Overview
  2. Docs
val make : unit -> optimize
val push : optimize -> unit
val pop : optimize -> unit
val add : optimize -> Expr.t list -> unit
val model : optimize -> model option
val maximize : optimize -> Expr.t -> handle
val minimize : optimize -> Expr.t -> handle
val interrupt : optimize -> unit
val pp_statistics : Stdlib.Format.formatter -> optimize -> unit
OCaml

Innovation. Community. Security.