Пакет isl10: Информация
Исходный пакет: isl10
Версия: 0.12.2-alt2
Собран: 19 мая 2015 г. 16:54 в задании #144123
Категория: Система/Устаревшие библиотеки
Сообщить об ошибке в пакетеДомашняя страница: http://isl.gforge.inria.fr/
Лицензия: MIT
О пакете: Библиотека наборов целых чисел
Описание:
isl — библиотека для управления наборами и отношениями целочисленных точек, связанных линейными ограничениями. Среди поддерживаемых действий над наборами: пересечение, объединение, разность множеств, проверка пустоты, выпуклая оболочка, (целочисленная) аффинная оболочка, целочисленная проекция, расчёт лексикографического минимума с помощью параметрического целочисленного программирования, группировка и параметрическое перечисление вершин. Библиотека также включает решатель ILP на основе редукции обобщённого базиса, транзитивных замыканий на ассоциативных массивах (которые могут кодировать бесконечные графы), анализа зависимостей и связей в кусочных степенных многочленах.
Список rpm-пакетов, предоставляемых данным srpm-пакетом:
libisl10 (x86_64, i586)
libisl10-debuginfo (x86_64, i586)
libisl10 (x86_64, i586)
libisl10-debuginfo (x86_64, i586)
Сопровождающий: Gleb Fotengauer-Malinovskiy
Последнее изменение
13 мая 2015 г. Gleb Fotengauer-Malinovskiy 0.12.2-alt2
- Packaged libisl10 as a legacy library.
22 января 2014 г. Dmitry V. Levin 0.12.2-alt1
- Initial revision.