Package ocaml-mccs: Information

Source package: ocaml-mccs

Version: 1.1.16-alt1

Build time:  Dec 1, 2023, 07:50 AM in the task #333652

Category: Development/ML

Gear: https://git.altlinux.org/gears/o/ocaml-mccs.git?a=tree;hb=7d13f5…

Home page: https://github.com/ocaml-opam/ocaml-mccs

License: LGPL-2.1-only WITH OCaml-LGPL-linking-exception and BSD-3-Clause and GPL-3.0-only

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 rpms provided by this srpm:
ocaml-mccs (x86_64, ppc64le, i586, armh, aarch64)
ocaml-mccs-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
ocaml-mccs-devel (x86_64, ppc64le, i586, armh, aarch64)

Maintainer: Anton Farygin

ACL:
Anton Farygin
@everybody