chefsat
| Crates.io | chefsat |
| lib.rs | chefsat |
| version | 0.1.0 |
| source | src |
| created_at | 2019-01-08 18:42:02.701198 |
| updated_at | 2019-01-08 18:42:02.701198 |
| description | Interesting SAT solver |
| homepage | |
| repository | |
| max_upload_size | |
| id | 107468 |
| size | 956 |
Samuel Pilz (samuelpilz)