Репозиторий Sisyphus
Последнее обновление: 25 марта 2019 | Пакетов: 17646 | Посещений: 13276828
en ru br
Репозитории ALT

Группа :: Разработка/ML
Пакет: ocaml-mccs

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Текущая версия: 1.1.9-alt3
Время сборки: 13 марта 2019, 15:49 ( 1.8 недели назад )
Размер архива: 533.63 Kb

Домашняя страница:   https://github.com/AltGr/ocaml-mccs

Лицензия: BSD and LGPLv3+ with exceptions
О пакете: Multi Criteria CUDF Solver with OCaml bindings
Описание:

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.

Текущий майнтейнер: Anton Farygin

Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:

Список rpm-пакетов, предоставляемый данным srpm-пакетом:

  • ocaml-mccs
  • ocaml-mccs-debuginfo
  • ocaml-mccs-devel
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin