ocaml-mccs
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
Package Info
- Upstream: https://github.com/AltGr/ocaml-mccs
- License(s): BSD-3-Clause AND LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
- Maintainers: rjones, jjames
Related Packages
You can contact the maintainers of this package via email at
ocaml-mccs dash maintainers at fedoraproject dot org.
Sources on Pagure