aig 0.3.3

Aig library in Rust
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
extern crate cc;

fn main() -> Result<(), String> {
    giputils::build::git_submodule_update()?;
    println!("cargo:rerun-if-changed=./aiger");
    cc::Build::new()
        .include("aiger")
        .file("aiger/aiger.c")
        .opt_level(3)
        .warnings(false)
        .compile("aiger");

    Ok(())
}