- Name: ocaml-mccs
- Version: 1.1
- Release: 11.mga9
- Epoch:
- Group: Development/OCaml
- License: BSD and LGPLv3+ with exceptions
- Url: https://github.com/AltGr/ocaml-mccs
- Summary: Multi Criteria CUDF Solver with OCaml bindings
- Architecture: aarch64
- Size: 459965
- Distribution: Mageia
- Vendor: Mageia.Org
- Packager: pterjan <pterjan>
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 dune.
The binding enables interoperation with binary CUDF data from the
OCaml CUDF library, and removes the native C++ parsers and printers.
- OptFlags: -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables
- Cookie: localhost 1653057926
- Buildhost: localhost
Sources packages:
Other version of this rpm: