Sisyphus repositório
Última atualização: 1 outubro 2023 | SRPMs: 18631 | Visitas: 37432137
en ru br
ALT Linux repositórios
S:1.1.13-alt1

Group :: Desenvolvimento/ML
RPM: ocaml-mccs

 Principal   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

A versão atual: 1.1.13-alt1
Data da compilação: 8 setembro 2021, 12:05 ( 136.4 weeks ago )
Tamanho:: 546.85 Kb

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

Licença: BSD and LGPLv3+ with exceptions
Sumário: Multi Criteria CUDF Solver with OCaml bindings
Descrição:

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.

Mantenedor currente: Anton Farygin

Lista dos contribuidores

Lista dos rpms provida por esta srpm:

  • ocaml-mccs
  • ocaml-mccs-debuginfo
  • ocaml-mccs-devel
ACL:
     
    projeto & código: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    mantenedor atual: Michael Shigorin
    mantenedor da tradução: Fernando Martini aka fmartini © 2009