Группа :: Разработка/C
Пакет: ppl
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 1.2-alt2_20
Время сборки: 28 августа 2021, 13:57 ( 139.2 недели назад )
Размер архива: 14.74 Mb
Домашняя страница: http://www.bugseng.com/ppl
Лицензия: GPLv3+
О пакете: The Parma Polyhedra Library: a library of numerical abstractions
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 28 августа 2021, 13:57 ( 139.2 недели назад )
Размер архива: 14.74 Mb
Домашняя страница: http://www.bugseng.com/ppl
Лицензия: GPLv3+
О пакете: The Parma Polyhedra Library: a library of numerical abstractions
Описание:
The Parma Polyhedra Library (PPL) is a library for the manipulation of
(not necessarily closed) convex polyhedra and other numerical
abstractions. The applications of convex polyhedra include program
analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing. The Parma Polyhedra
Library comes with several user friendly interfaces, is fully dynamic
(available virtual memory is the only limitation to the dimension of
anything), written in accordance to all the applicable standards,
exception-safe, rather efficient, thoroughly documented, and free
software. This package provides all what is necessary to run
applications using the PPL through its C and C++ interfaces.
Текущий майнтейнер: Igor Vlasenko (not necessarily closed) convex polyhedra and other numerical
abstractions. The applications of convex polyhedra include program
analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing. The Parma Polyhedra
Library comes with several user friendly interfaces, is fully dynamic
(available virtual memory is the only limitation to the dimension of
anything), written in accordance to all the applicable standards,
exception-safe, rather efficient, thoroughly documented, and free
software. This package provides all what is necessary to run
applications using the PPL through its C and C++ interfaces.
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
- ppl
- ppl-debuginfo
- ppl-devel
- ppl-docs
- ppl-java
- ppl-java-debuginfo
- ppl-java-javadoc
- ppl-static
- ppl-swiprolog
- ppl-swiprolog-debuginfo
- ppl-utils
- ppl-utils-debuginfo