Lib.rs

› Science › Math
#cnf #cube #logic

nightly logic-form

Rust library for representing Cube, Clause, CNF and DNF

by Yuheng Su

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

Download history 7/week @ 2024-10-29 13/week @ 2024-11-05 8/week @ 2024-11-19 4/week @ 2024-11-26 238/week @ 2024-12-03 203/week @ 2024-12-10 446/week @ 2024-12-17 238/week @ 2024-12-24 7/week @ 2024-12-31 147/week @ 2025-01-07 21/week @ 2025-01-14 9/week @ 2025-01-21 126/week @ 2025-01-28 460/week @ 2025-02-04 88/week @ 2025-02-11

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

MIT license

32KB
1K SLoC

logic-form

Rust library for representing Cube, Clause, CNF and DNF

Dependencies

~12–22MB
~382K SLoC