73 breaking releases
| new 0.89.0 | Mar 19, 2023 |
|---|---|
| 0.88.0 | Dec 4, 2022 |
| 0.87.0 | Nov 13, 2022 |
| 0.84.0 | Jul 31, 2022 |
| 0.19.0 | Jul 26, 2020 |
#57 in Algorithms
74,346 downloads per month
Used in 21 crates
(3 directly)
775KB
15K
SLoC
A library that defines the rules that translates Rust IR to logical predicates.
See Github for up-to-date information.
Dependencies
~2.6–4MB
~82K SLoC