scuttle-core
| Crates.io | scuttle-core |
| lib.rs | scuttle-core |
| version | 0.4.0 |
| created_at | 2025-05-01 16:31:10.164722+00 |
| updated_at | 2025-05-01 16:31:10.164722+00 |
| description | Core library of the Scuttle MO-MaxSAT solver |
| homepage | |
| repository | https://github.com/chrjabs/scuttle |
| max_upload_size | |
| id | 1656465 |
| size | 1,191,782 |
Christoph Jabs (chrjabs)