pplpy: Python interface to the Parma Polyhedra Library

Description

PPL Python wrapper

This Python package provides a wrapper to the C++ Parma Polyhedra Library (PPL).

The whole package started as a fork of a tiny part of the Sage software.

License

GPL version 3

Upstream Contact

• https://github.com/sagemath/pplpy

Type

standard

Dependencies

• $(MP_LIBRARY)

• $(PYTHON)

• $(PYTHON_TOOLCHAIN)

• cysignals: Interrupt and signal handling for Cython

• gmpy2: Python interface to GMP/MPIR, MPFR, and MPC

• mpc: Arithmetic of complex numbers with arbitrarily high precision and correct rounding

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

• ppl: Parma Polyhedra Library

• sphinx: Python documentation generator

Version Information

package-version.txt:

0.8.9

Equivalent System Packages

Arch Linux

$ sudo pacman -S python-pplpy

conda-forge

$ conda install pplpy

Fedora/Redhat/CentOS

$ sudo yum install python3-pplpy

FreeBSD

$ sudo pkg install math/py-pplpy

Gentoo Linux

$ sudo emerge dev-python/pplpy

Void Linux

$ sudo xbps-install python3-pplpy

See https://repology.org/project/pplpy/versions, https://repology.org/project/python:pplpy/versions

If the system package is installed and if the (experimental) option --enable-system-site-packages is passed to ./configure, then ./configure will check if the system package can be used.