autosat
| Crates.io | autosat |
| lib.rs | autosat |
| version | 0.1.0 |
| source | src |
| created_at | 2023-04-05 12:06:46.55774 |
| updated_at | 2023-04-05 12:06:46.55774 |
| description | Automatic conversion of functions to CNF for SAT solving |
| homepage | |
| repository | |
| max_upload_size | |
| id | 830992 |
| size | 9,087 |
(petersn)