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. Note that it includes some correctness 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> |
|---|---|
| License | BSD-3-Clause |
| 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+2b.tar.gz sha256=d6ac650d3740accc51368d42713166c7d0fd9d0ff5025a4ef9a83618f8ab3ac2 md5=6d2feeb5763b1894a8b44997a04c8f25 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/mccs/mccs.1.1+2/opam |
No package is dependent
