package mccs
Multi Criteria CUDF Solver with OCaml bindings
Install
Dune Dependency
Authors
Maintainers
Sources
1.1+3.tar.gz
sha256=b5c0fdc4884f237b11f914c7b7268f9d559a51a3e7ab164558fb83bd0a8c7424
md5=c4f1736e3c4a20a08e5eefefd4fa46cc
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: 24 Oct 2017
On This Page