Пакет isl13: Информация

Danger alert: Пакет удалён из репозитория sisyphus

Удалён в задании: #213581
Пакет удалён: Gleb Fotengauer-Malinovskiy
Дата удаления: 29 сентября 2018 г.
    Исходный пакет: isl13
    Версия: 0.14.1-alt2
    Собран:  13 января 2017 г. 18:12 в задании #169999
    Сообщить об ошибке в пакете
    Домашняя страница: http://isl.gforge.inria.fr/

    Лицензия: MIT
    О пакете: Библиотека наборов целых чисел
    Описание: 
    isl — библиотека для управления наборами и отношениями целочисленных точек,
    связанных линейными ограничениями. Среди поддерживаемых действий над
    наборами: пересечение, объединение, разность множеств, проверка пустоты,
    выпуклая оболочка, (целочисленная) аффинная оболочка, целочисленная проекция,
    расчёт лексикографического минимума с помощью параметрического целочисленного
     программирования, группировка и параметрическое перечисление вершин. Библиотека
    также включает решатель ILP на основе редукции обобщённого базиса, транзитивных
     замыканий на ассоциативных массивах (которые могут кодировать бесконечные графы),
     анализа зависимостей и связей в кусочных степенных многочленах.

    Список rpm-пакетов, предоставляемых данным srpm-пакетом:
    libisl13 (x86_64, i586)
    libisl13-debuginfo (x86_64, i586)

    Сопровождающий: Gleb Fotengauer-Malinovskiy

    Список участников:
    Gleb Fotengauer-Malinovskiy
    Dmitry V. Levin

      1. libgmp-devel

    Последнее изменение


    30 ноября 2016 г. Gleb Fotengauer-Malinovskiy 0.14.1-alt2
    - Packaged libisl13 as a legacy library.
    13 мая 2015 г. Gleb Fotengauer-Malinovskiy 0.14.1-alt1
    - Updated to 0.14.1.
    22 января 2014 г. Dmitry V. Levin 0.12.2-alt1
    - Initial revision.