INFO
Name: ppl-utils
Version: 1.2-24.el9
Arch: x86_64
Summary: Utilities using the Parma Polyhedra Library
License: GPLv3+
Vendor: Fedora Project
Build Host: buildvm-x86-29.iad2.fedoraproject.org
Build Date: Sat Sep 17 05:17:34 2022
Size: 155423
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/3a
/usr/lib/.build-id/3a/53b7bb0376d86177973e1e275256c001d331d1
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/81451ca758c7b84b3e6d58e40c7b7ed705efa1
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/a3c785f4d2b454ca116806afe002cc065b3339
/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.34)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(64bit)
libglpk.so.40()(64bit)
libgmp.so.10()(64bit)
libgmpxx.so.4()(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.el9
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
PROVIDES
ppl-utils 1.2-24.el9
ppl-utils(x86-64) 1.2-24.el9
CONFIG FILES
/usr/bin/ppl_lcdd
/usr/bin/ppl_lpsol
/usr/bin/ppl_pips
/usr/lib/.build-id a
/usr/lib/.build-id/3a a
/usr/lib/.build-id/3a/53b7bb0376d86177973e1e275256c001d331d1 a
/usr/lib/.build-id/3b a
/usr/lib/.build-id/3b/81451ca758c7b84b3e6d58e40c7b7ed705efa1 a
/usr/lib/.build-id/dd a
/usr/lib/.build-id/dd/a3c785f4d2b454ca116806afe002cc065b3339 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+
|
