#logic #dnf #logic-form

nightly logic-form

Rust library for representing Cube, Clause, CNF and DNF

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

Download history 310/week @ 2024-12-11 446/week @ 2024-12-18 96/week @ 2024-12-25 8/week @ 2025-01-01 148/week @ 2025-01-08 23/week @ 2025-01-15 5/week @ 2025-01-22 133/week @ 2025-01-29 446/week @ 2025-02-05 90/week @ 2025-02-12 177/week @ 2025-02-19 213/week @ 2025-02-26 7/week @ 2025-03-05 76/week @ 2025-03-26

97 downloads per month
Used in 8 crates (6 directly)

MIT license

58KB
2K SLoC

logic-form

Rust library for representing Cube, Clause, CNF and DNF

Dependencies

~12–23MB
~389K SLoC