17 releases
| 0.3.2 | Feb 26, 2025 |
|---|---|
| 0.3.1 | Feb 19, 2025 |
| 0.2.11 | Feb 6, 2025 |
| 0.2.8 | Jan 9, 2025 |
| 0.1.1 | Mar 21, 2023 |
#442 in Math
933 downloads per month
Used in 8 crates
(6 directly)
53KB
2K
SLoC
logic-form
Rust library for representing Cube, Clause, CNF and DNF
Dependencies
~12–22MB
~388K SLoC