85 breaking releases
| new 0.101.0 | Apr 13, 2025 |
|---|---|
| 0.100.0 | Mar 9, 2025 |
| 0.99.0 | Jan 14, 2025 |
| 0.98.0 | Jul 7, 2024 |
| 0.19.0 | Jul 26, 2020 |
#326 in Programming languages
70,134 downloads per month
Used in 28 crates
(3 directly)
800KB
16K
SLoC
A library that defines the rules that translates Rust IR to logical predicates.
See Github for up-to-date information.
Dependencies
~3–12MB
~124K SLoC