81 breaking releases
0.97.0 | Apr 7, 2024 |
---|---|
0.96.0 | Jan 7, 2024 |
0.95.0 | Nov 19, 2023 |
0.92.0 | Jun 30, 2023 |
0.19.0 | Jul 26, 2020 |
#17 in Programming languages
38,020 downloads per month
Used in 25 crates
(3 directly)
785KB
16K
SLoC
A library that defines the rules that translates Rust IR to logical predicates.
See Github for up-to-date information.
Dependencies
~3–14MB
~137K SLoC