Lib.rs

› Science › Math
#cnf #cube #logic

nightly logic-form

Rust library for representing Cube, Clause, CNF and DNF

by Yuheng Su

11 releases

new 0.2.8 Jan 9, 2025
0.2.7 Dec 24, 2024
0.2.0 Oct 21, 2024
0.1.1 Mar 21, 2023

#288 in Math

Download history 12/week @ 2024-09-18 23/week @ 2024-09-25 1/week @ 2024-10-09 147/week @ 2024-10-16 45/week @ 2024-10-23 9/week @ 2024-10-30 10/week @ 2024-11-06 2/week @ 2024-11-13 6/week @ 2024-11-20 4/week @ 2024-11-27 273/week @ 2024-12-04 310/week @ 2024-12-11 446/week @ 2024-12-18 96/week @ 2024-12-25 8/week @ 2025-01-01

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

MIT license

30KB
1K SLoC

logic-form

Rust library for representing Cube, Clause, CNF and DNF

Dependencies

~2–11MB
~134K SLoC