logic-form
| Crates.io | logic-form |
| lib.rs | logic-form |
| version | 0.2.0 |
| source | src |
| created_at | 2023-03-21 02:13:44.923398 |
| updated_at | 2024-10-21 07:30:03.095236 |
| description | Rust library for representing Cube, Clause, CNF and DNF |
| homepage | |
| repository | https://github.com/gipsyh/logic-form |
| max_upload_size | |
| id | 815795 |
| size | 44,307 |
Yuheng Su (gipsyh)
documentation
README
logic-form
Rust library for representing Cube, Clause, CNF and DNF