Репозиторий Sisyphus
Последнее обновление: 24 октября 2020 | Пакетов: 17689 | Посещений: 19472163
en ru br
Репозитории ALT

Группа :: Система/Библиотеки
Пакет: isl

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

Текущая версия: 0.18-alt1
Время сборки: 12 января 2017, 20:08 ( 197.3 недели назад )
Размер архива: 730.08 Kb

Домашняя страница:   http://isl.gforge.inria.fr/

Лицензия: MIT
О пакете: Integer Set Library
Описание:

isl is a library for manipulating sets and relations of integer points
bounded by linear constraints. Supported operations on sets include
intersection, union, set difference, emptiness check, convex hull,
(integer) affine hull, integer projection, computing the lexicographic
minimum using parametric integer programming, coalescing and parametric
vertex enumeration. It also includes an ILP solver based on generalized
basis reduction, transitive closures on maps (which may encode infinite
graphs), dependence analysis and bounds on piecewise step-polynomials.

Текущий майнтейнер: Gleb F-Malinovskiy

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

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

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