package mccs
Multi Criteria CUDF Solver with OCaml bindings
Install
Dune Dependency
Authors
Maintainers
Sources
1.1+4.tar.gz
sha256=c38e894584e7fff3b98a6dbccbc2a4c102c4e7e64ea55f665364d36e0feb7e02
md5=1ff2d73ab5c69e1fb58160213fc2d4c9
Description
This is a stripped-down version of the mccs solver (written in C++), including OCaml bindings based on the cudf library, and the GLPK backend (in C). Note that it also includes some correction fixes, and a few changes not present in the upstream yet.
Published: 11 Nov 2017
On This Page