Пакет isl: Информация
Danger alert: Пакет удалён из репозитория sisyphus
Удалён в задании: #294982
Пакет удалён: Gleb Fotengauer-Malinovskiy
Дата удаления: 8 февраля 2022 г.
Сообщение: test
Пакет удалён: Gleb Fotengauer-Malinovskiy
Дата удаления: 8 февраля 2022 г.
Сообщение: test
Исходный пакет: isl
Версия: 0.23-alt1
Собран: 2 декабря 2020 г. 1:26 в задании #262764
Категория: Система/Библиотеки
Сообщить об ошибке в пакетеДомашняя страница: http://isl.gforge.inria.fr/
Лицензия: MIT
О пакете: Библиотека наборов целых чисел
Описание:
isl — библиотека для управления наборами и отношениями целочисленных точек, связанных линейными ограничениями. Среди поддерживаемых действий над наборами: пересечение, объединение, разность множеств, проверка пустоты, выпуклая оболочка, (целочисленная) аффинная оболочка, целочисленная проекция, расчёт лексикографического минимума с помощью параметрического целочисленного программирования, группировка и параметрическое перечисление вершин. Библиотека также включает решатель ILP на основе редукции обобщённого базиса, транзитивных замыканий на ассоциативных массивах (которые могут кодировать бесконечные графы), анализа зависимостей и связей в кусочных степенных многочленах.
Список rpm-пакетов, предоставляемых данным srpm-пакетом:
libisl-devel (x86_64, ppc64le, i586, armh, aarch64)
libisl23 (x86_64, ppc64le, i586, armh, aarch64)
libisl23-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libisl-devel (x86_64, ppc64le, i586, armh, aarch64)
libisl23 (x86_64, ppc64le, i586, armh, aarch64)
libisl23-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
Сопровождающий: Gleb Fotengauer-Malinovskiy
Последнее изменение
1 декабря 2020 г. Gleb Fotengauer-Malinovskiy 0.23-alt1
- Updated to 0.23.
12 января 2017 г. Gleb Fotengauer-Malinovskiy 0.18-alt1
- Updated to 0.18.
13 мая 2015 г. Gleb Fotengauer-Malinovskiy 0.14.1-alt1
- Updated to 0.14.1.