polylib: Operations on unions of polyhedra

Description

The Polyhedral Library (PolyLib for short) operates on objects made up of unions of polyhedra of any dimension. polylib is a C library.

License

GPL v3

Upstream Contact

• https://groups.google.com/forum/#!forum/isl-development

Type

experimental

Dependencies

• $(MP_LIBRARY)

• mpfr: Multiple-precision floating-point computations with correct rounding

• ntl: A library for doing number theory

Version Information

package-version.txt:

5.22.5

Equivalent System Packages

MacPorts

$ sudo port install polylib

openSUSE

$ sudo zypper install polylib pkgconfig\(polylibgmp\)

See https://repology.org/project/polylib/versions

However, these system packages will not be used for building Sage because spkg-configure.m4 has not been written for this package; see Issue #27330 for more information.