yices2 0.1.4

Rust bindings to the Yices 2 SMT solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use crate::sys::{yices_exit, yices_init, yices_set_out_of_mem_callback};
use ctor::{ctor, dtor};

#[no_mangle]
extern "C" fn oom_cb() {
    panic!("yices2: out of memory");
}

#[cfg(feature = "ctor")]
#[ctor]
/// Constructor: initialize yices at initialization time
fn init() {
    unsafe { yices_set_out_of_mem_callback(Some(oom_cb)) };
    unsafe { yices_init() };
}

#[cfg(feature = "ctor")]
#[dtor]
/// Destructor: clean up yices at exit time
fn exit() {
    unsafe { yices_exit() };
}