mccsversion
Multi Criteria CUDF Solver with OCaml bindings
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.
Authors | Claude Michel <claude.michel@unice.fr> and Louis Gesbert <louis.gesbert@ocamlpro.com> |
---|---|
Licenses | LGPL-2.1-only WITH OCaml-LGPL-linking-exception, BSD-3-Clause and GPL-3.0-only |
Published | |
Homepage | http://www.i3s.unice.fr/~cpjm/misc/ |
Issue Tracker | https://github.com/AltGr/ocaml-mccs/issues |
Maintainer | Louis Gesbert <louis.gesbert@ocamlpro.com> |
Dependencies | |
Source [http] | https://github.com/AltGr/ocaml-mccs/archive/1.1+4.tar.gz sha256=c38e894584e7fff3b98a6dbccbc2a4c102c4e7e64ea55f665364d36e0feb7e02 md5=1ff2d73ab5c69e1fb58160213fc2d4c9 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/mccs/mccs.1.1+4/opam |
Required by
- opam-solver>=2.0.0~beta5 & <2.0.0~rc2