package yices2_bindings

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