3 unstable releases
| 0.2.0 | Oct 21, 2024 |
|---|---|
| 0.1.1 | Mar 21, 2023 |
| 0.1.0 | Mar 21, 2023 |
#416 in Math
201 downloads per month
Used in 4 crates
44KB
1.5K
SLoC
logic-form
Rust library for representing Cube, Clause, CNF and DNF
Dependencies
~1–1.7MB
~29K SLoC