logic-form
| Crates.io | logic-form |
| lib.rs | logic-form |
| version | 0.4.0 |
| created_at | 2023-03-21 02:13:44.923398+00 |
| updated_at | 2025-06-04 13:28:56.847065+00 |
| description | Rust library for representing Cube, Clause, CNF and DNF |
| homepage | |
| repository | https://github.com/gipsyh/logic-form |
| max_upload_size | |
| id | 815795 |
| size | 66,266 |
Yuheng Su (gipsyh)
documentation
README
logic-form
Rust library for representing Cube, Clause, CNF and DNF