ppl

The Parma Polyhedra Library

---

Build for armv7l-glibc, version 1.2_{_1}. Builds for all architectures.

---

Details

Homepage:

http://bugseng.com/products/ppl

License:

GPL-3

Maintainer:

Juan RP

Built at:

2016-09-25 16:20

Installed size:

3.67 MiB

Popularity:

No usages in 119 reports

Provided shlibs:

• libppl.so.14
• libppl_c.so.4

Depending on:

• glibc>=2.17_{_1}
• gmp>=5.0.1_{_1}
• gmpxx>=6.0.0_{_2}
• libgcc>=4.4.0_{_1}
• libstdc++>=4.4.0_{_1}