This Python package provides a wrapper to the C++ Parma Polyhedra Library (PPL).
conda install conda-forge::pplpy
conda install conda-forge/label/cf202003::pplpy