Fedora Packages


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.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.1-49.17.fc40 -
Fedora 40 1.1-49.17.fc40 -
Fedora 39 1.1-42.16.fc39 -
Fedora 38 1.1-40.14.fc38 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at ocaml-mccs dash maintainers at fedoraproject dot org.

Sources on Pagure