ppl_lcdd

Utilities using the Parma Polyhedra Library

Install

All systems
curl cmd.cat/ppl_lcdd.sh
Arch Arch Linux
pacman -S ppl
CentOS
yum install ppl-utils
Fedora
dnf install ppl-utils
OS X
brew install ppl

ppl-utils

Utilities using the Parma Polyhedra Library

ppl

A modern library for convex polyhedra and other numerical abstractions