Sisyphus repository
Last update: 1 october 2023 | SRPMs: 18631 | Visits: 37041789
en ru br
ALT Linux repos
S:1.1.13-alt1

Group :: Development/ML
RPM: ocaml-mccs

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Current version: 1.1.13-alt1
Build date: 8 september 2021, 12:05 ( 133.2 weeks ago )
Size: 546.85 Kb

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

License: BSD and LGPLv3+ with exceptions
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.

Current maintainer: Anton Farygin

List of contributors

List of rpms provided by this srpm:

  • ocaml-mccs
  • ocaml-mccs-debuginfo
  • ocaml-mccs-devel
ACL:
     
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin