maxpre
| Crates.io | maxpre |
| lib.rs | maxpre |
| version | 0.2.5 |
| created_at | 2023-07-11 14:18:30.325077+00 |
| updated_at | 2025-05-01 16:07:11.279013+00 |
| 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 | 729,443 |
Christoph Jabs (chrjabs)
documentation
README
Rust Bindings for MaxPre
Rust bindings for the (multi-objective) MaxSAT preprocessor MaxPre.