#logic #dnf #forms

nightly logic-form

Rust library for representing Cube, Clause, CNF and DNF

17 releases

Uses new Rust 2024

0.3.2 Feb 26, 2025
0.3.1 Feb 19, 2025
0.2.11 Feb 6, 2025
0.2.8 Jan 9, 2025
0.1.1 Mar 21, 2023

#652 in Math

Download history 222/week @ 2024-12-02 125/week @ 2024-12-09 454/week @ 2024-12-16 324/week @ 2024-12-23 5/week @ 2024-12-30 141/week @ 2025-01-06 25/week @ 2025-01-13 13/week @ 2025-01-20 100/week @ 2025-01-27 428/week @ 2025-02-03 124/week @ 2025-02-10 187/week @ 2025-02-17 192/week @ 2025-02-24 33/week @ 2025-03-03 2/week @ 2025-03-10

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

MIT license

53KB
2K SLoC

logic-form

Rust library for representing Cube, Clause, CNF and DNF

Dependencies

~12–22MB
~389K SLoC