4 releases
Uses new Rust 2024
| 0.2.2 | Dec 7, 2025 |
|---|---|
| 0.2.1 | Sep 5, 2025 |
| 0.2.0 | Jun 24, 2025 |
| 0.1.0 | Dec 7, 2024 |
#39 in #model-checking
Used in ric3
17KB
385 lines
btor-rs
A Rust library for parsing and deparsing BTOR files.
Dependencies
~3.5–9.5MB
~200K SLoC