btor 0.1.0

Rust wrapper for btor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use aig::Aig;
use std::{
    ffi::{c_char, CString},
    os::raw::c_void,
};

extern "C" {
    fn btor2aiger(filename: *const c_char) -> *mut c_void;
}

pub fn btor_to_aiger(f: &str) -> Aig {
    let f = CString::new(f).unwrap();
    let aiger = unsafe { btor2aiger(f.as_ptr()) };
    Aig::from_aiger(aiger)
}