1 unstable release
| 0.1.0 | Dec 7, 2024 |
|---|
3MB
7K
SLoC
Contains (static library, 2MB) libboolector.a, (static library, 1MB) liblgl.a, (static library, 125KB) libbtor2aiger.a, (static library, 50KB) libbtor2parser.a
Rust wrapper for btor
Dependencies
~12–23MB
~404K SLoC