aig-rs
Rust Aig Library