package yices2_bindings

  1. Overview
  2. Docs
val version : string EH.t
val build_arch : string EH.t
val build_mode : string EH.t
val build_date : string EH.t
val has_mcsat : unit -> bool EH.t
val is_thread_safe : unit -> bool EH.t
val init : unit -> unit
val exit : unit -> unit
val reset : unit -> unit
val set_out_of_mem_callback : (unit -> unit) Ctypes.static_funptr -> unit
OCaml

Innovation. Community. Security.