INFO
Name: ppl-utils
Version: 1.2-24.el8
Arch: x86_64
Summary: Utilities using the Parma Polyhedra Library
License: GPLv3+
Vendor: Fedora Project
Build Host: buildvm-x86-24.iad2.fedoraproject.org
Build Date: Thu Sep 15 21:21:33 2022
Size: 160874
URL: http://www.bugseng.com/ppl
Description: This package contains the mixed integer linear programming solver ppl_lpsol.
the program ppl_lcdd for vertex/facet enumeration of convex polyhedra,
and the parametric integer programming solver ppl_pips.
FILES
/usr/bin/ppl_lcdd
/usr/bin/ppl_lpsol
/usr/bin/ppl_pips
/usr/lib/.build-id
/usr/lib/.build-id/1b
/usr/lib/.build-id/1b/035b3c109908a44f95acc4a524a4cccb0c4e96
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/f2c04d0537560727c33e592e7ca8761767dcad
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/5886971b9aa69646509e3afc83194ba3a1bec3
/usr/share/man/man1/ppl_lcdd.1.gz
/usr/share/man/man1/ppl_lpsol.1.gz
/usr/share/man/man1/ppl_pips.1.gz
REQUIRES
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libglpk.so.40()(64bit)
libgmp.so.10()(64bit)
libgmpxx.so.4()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libppl.so.14()(64bit)
libppl_c.so.4()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
ppl(x86-64) 1.2-24.el8
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsXz) 5.2-1
rtld(GNU_HASH)
PROVIDES
ppl-utils 1.2-24.el8
ppl-utils(x86-64) 1.2-24.el8
CONFIG FILES
/usr/bin/ppl_lcdd
/usr/bin/ppl_lpsol
/usr/bin/ppl_pips
/usr/lib/.build-id a
/usr/lib/.build-id/1b a
/usr/lib/.build-id/1b/035b3c109908a44f95acc4a524a4cccb0c4e96 a
/usr/lib/.build-id/d1 a
/usr/lib/.build-id/d1/f2c04d0537560727c33e592e7ca8761767dcad a
/usr/lib/.build-id/f9 a
/usr/lib/.build-id/f9/5886971b9aa69646509e3afc83194ba3a1bec3 a
/usr/share/man/man1/ppl_lcdd.1.gz d
/usr/share/man/man1/ppl_lpsol.1.gz d
/usr/share/man/man1/ppl_pips.1.gz d
LICENSE FILES
GPLv3+
|
