package yices2_bindings

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