ppl_pips
Utilities using the Parma Polyhedra Library
Install
- All systems
-
curl cmd.cat/ppl_pips.sh
- Arch Linux
-
pacman -S ppl - CentOS
-
yum install ppl - Fedora
-
dnf install ppl-utils - OS X
-
brew install ppl - Dockerfile
- dockerfile.run/ppl_pips