10 releases
0.2.9 | Feb 9, 2025 |
---|---|
0.2.8 | Feb 6, 2025 |
0.2.6 | Jan 12, 2025 |
0.2.5 | Dec 24, 2024 |
0.1.0 | Mar 21, 2023 |
#5 in #model-checking
333 downloads per month
Used in 4 crates
660KB
21K
SLoC
aig-rs
Rust Aig Library
Dependencies
~12–22MB
~385K SLoC