ppl - C++ library for the manipulation of convex polyhedra

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename ppl-1.2.txz
Package name ppl
Package version 1.2
Package release -
Package architecture amd64
Package type txz
Category devel
Homepage http://bugseng.com/products/ppl
License GPLv3+
Maintainer ports@FreeBSD.org
Download size 10.06 MB
Installed size 39.41 MB
The Parma Polyhedra Library (PPL) is a modern C++ library for the
manipulation of convex polyhedra. To be more precise, the PPL can handle
all the convex polyhedra that can be defined as the intersection of a
finite number of closed hyperspaces, each described by an equality or a
non-strict inequality with rational coefficients. (More details are
available on the PPL's internal mechanisms.) The Parma Polyhedra Library
- user friendly: you write x + 2*y + 5*z <= 7 when you mean it;
- fully dynamic: available virtual memory is the only limitation to
the dimension of anything;
- written in standard C++: meant to be portable;
- exception-safe: never leaks resources or leaves invalid object
fragments around;
- rather efficient: and we hope to make it even more so;
- thoroughly documented: perhaps not literate programming but close
- free software: distributed under the terms of the GNU General
Public License.
WWW: http://bugseng.com/products/ppl
- DOCS: on
===>   NOTICE:
The ppl port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
More information about port maintainership is available at:


Package Version Architecture Repository
ppl-1.2.txz 1.2 i386 FreeBSD Ports Quarterly
ppl-1.2.txz 1.2 amd64 FreeBSD Ports Quarterly
ppl-1.2.txz 1.2 i386 FreeBSD Ports Latest
ppl - - -


Name Value
glpk = 4.65
gmp = 6.1.2_1
libglpk.so.40 -
libgmp.so.10 -
libgmpxx.so.4 -


Name Value
libppl.so.14 -
libppl_c.so.4 -


Type URL
Mirror pkg.freebsd.org
Binary Package ppl-1.2.txz
Source Package devel/ppl

Install Howto

Install ppl txz package:

# pkg install ppl

See Also

Package Description
ppm2fli-2.1.txz Utilities to merge PPM files into animated FLI and backwards
ppmd-20050811.txz Fast archiver with good compression ratio
ppmd-7z-9.04.txz High-ratio PPMD compressor
ppminfo-0.1_5.txz Shows details of a ppm file
ppolicy-2.6.6_7.txz PPolicy is tool for extending Postfix checking capabilities
ppower4-0.9.4_7.txz Post processor for PDF presentations made with (La)TeX
pprof-g20190515.txz Tool for visualization and analysis of profiling data
pprotectd-0.1.txz Daemon that protects processes from killing when memory is exhausted
ppsei-0.3.txz PowerPoint images extractor
ppsspp-1.9.3.txz PSP emulator in C++ with dynarec JIT for x86, ARM, MIPS
ppsspp-qt5-1.9.3.txz PSP emulator in C++ with dynarec JIT for x86, ARM, MIPS
pptpclient-1.10.0.txz PPTP client for establishing a VPN link with an NT server
ppunpack-1.0.txz Decompresses Amiga PowerPacker files
pqiv-2.11_3.txz Pretty Quick Image Viewer
pr-1.1_1.txz Daemon that connects local terminal device to a terminal server