crates.io : maxpre

Rust bindings for the (MO-)MaxSAT preprocessor MaxPre

Registry - Source - Homepage - Documentation - JSON - codemeta.json
purl: pkg:cargo/maxpre
Keywords: binding , maxsat , preprocessor
License: MIT
Latest release: 6 months ago
First release: over 2 years ago
Dependent packages: 1
Downloads: 7,223 total
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago

• Readme
• Versions 6
• Dependent Packages 1
• Maintainers 1