Package ocaml-mccs: Information
Source package: ocaml-mccs
Version: 1.1.19-alt1
Build time: Apr 9, 2025, 01:04 AM
Category: Development/ML
Report package bugHome page: https://github.com/ocaml-opam/ocaml-mccs
Summary: Multi Criteria CUDF Solver with OCaml bindings
Description:
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 jbuilder. The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers.
List of RPM packages built from this SRPM:
ocaml-mccs (e2kv6, e2kv5, e2kv4, e2k)
ocaml-mccs-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
ocaml-mccs-devel (e2kv6, e2kv5, e2kv4, e2k)
ocaml-mccs (e2kv6, e2kv5, e2kv4, e2k)
ocaml-mccs-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
ocaml-mccs-devel (e2kv6, e2kv5, e2kv4, e2k)
Maintainer: Anton Farygin
Last changed
Jan. 17, 2025 Anton Farygin 1.1.19-alt1
- 1.1+19
Sept. 10, 2024 Anton Farygin 1.1.18-alt1
- 1.1+18
Nov. 12, 2023 Anton Farygin 1.1.16-alt1
- 1.1+16