15 releases
| new 0.3.0 | Feb 9, 2025 |
|---|---|
| 0.2.11 | Feb 6, 2025 |
| 0.2.8 | Jan 9, 2025 |
| 0.2.7 | Dec 24, 2024 |
| 0.1.1 | Mar 21, 2023 |
#280 in Math
505 downloads per month
Used in 8 crates
(6 directly)
32KB
1K
SLoC
logic-form
Rust library for representing Cube, Clause, CNF and DNF
Dependencies
~12–21MB
~379K SLoC