maxpre
| Crates.io | maxpre |
| lib.rs | maxpre |
| version | 0.2.3 |
| source | src |
| created_at | 2023-07-11 14:18:30.325077 |
| updated_at | 2024-05-16 11:19:43.134554 |
| description | Rust bindings for the (MO-)MaxSAT preprocessor MaxPre |
| homepage | https://bitbucket.com/coreo-group/maxpre2 |
| repository | https://github.com/chrjabs/maxpre-rs |
| max_upload_size | |
| id | 913817 |
| size | 709,126 |
Christoph Jabs (chrjabs)
documentation
README
Rust Bindings for MaxPre
Rust bindings for the (multi-objective) MaxSAT preprocessor MaxPre.