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.

AuthorsClaude Michel <claude.michel@unice.fr> and Louis Gesbert <louis.gesbert@ocamlpro.com>
LicenseBSD-3-Clause
Published
Homepagehttp://www.i3s.unice.fr/~cpjm/misc/
Issue Trackerhttps://github.com/AltGr/ocaml-mccs/issues
MaintainerLouis Gesbert <louis.gesbert@ocamlpro.com>
Dependencies
Source [http] https://github.com/AltGr/ocaml-mccs/archive/1.1+2b.tar.gz
md5=6d2feeb5763b1894a8b44997a04c8f25
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mccs/mccs.1.1+2/opam
No package is dependent