- 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: armv7hl
- Size: 1028490
- 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.
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: localhost 1653057913
- Buildhost: localhost
Generated packages:
- ocaml-mccs-1.1-11.mga9.aarch64
- ocaml-mccs-devel-1.1-11.mga9.aarch64
- ocaml-mccs-1.1-11.mga9.armv7hl
- ocaml-mccs-devel-1.1-11.mga9.armv7hl
- ocaml-mccs-1.1-11.mga9.i586
- ocaml-mccs-devel-1.1-11.mga9.i586
- ocaml-mccs-1.1-11.mga9.x86_64
- ocaml-mccs-devel-1.1-11.mga9.x86_64
Other version of this rpm: