18 releases
Uses new Rust 2024
| new 0.3.3 | Apr 1, 2025 |
|---|---|
| 0.3.2 | Feb 26, 2025 |
| 0.2.11 | Feb 6, 2025 |
| 0.2.8 | Jan 9, 2025 |
| 0.1.1 | Mar 21, 2023 |
#527 in Math
97 downloads per month
Used in 8 crates
(6 directly)
58KB
2K
SLoC
logic-form
Rust library for representing Cube, Clause, CNF and DNF
Dependencies
~12–23MB
~389K SLoC