Polyhedral Analysis Tools Documentation API documentation is here. The docs/examples directory contains Jupyter notebooks with examples of usage.