8 releases
| new 0.2.5 | Dec 18, 2024 |
|---|---|
| 0.2.4 | Dec 17, 2024 |
| 0.2.0 | Oct 21, 2024 |
| 0.1.1 | Mar 21, 2023 |
#330 in Math
446 downloads per month
Used in 8 crates
(6 directly)
30KB
1K
SLoC
logic-form
Rust library for representing Cube, Clause, CNF and DNF
Dependencies
~2–10MB
~124K SLoC