16 releases
new 0.3.1 | Feb 19, 2025 |
---|---|
0.3.0 | Feb 9, 2025 |
0.2.11 | Feb 6, 2025 |
0.2.8 | Jan 9, 2025 |
0.1.1 | Mar 21, 2023 |
#269 in Math
687 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–22MB
~382K SLoC