Multi Criteria CUDF Solver with OCaml bindings
mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project. This project contains a stripped-down version of the mccs solver, taken from snapshot 1.1, with a binding as an OCaml library, and building with dune. The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 1.1-34.13.fc36 | - |
Fedora 35 | 1.1-33.11.fc35 | - |
Fedora 34 | 1.1-31.11.fc34 | - |
You can contact the maintainers of this package via email at
ocaml-mccs dash maintainers at fedoraproject dot org
.