Репозиторий Sisyphus
Последнее обновление: 13 октября 2019 | Пакетов: 17515 | Посещений: 15261766
en ru br
Репозитории ALT

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

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

Текущая версия: 1.1.10-alt1
Время сборки: 6 августа 2019, 12:21 ( 9.8 недели назад )
Размер архива: 532.99 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