ppl_gprolog
Polyhedra Library
Install
- All systems
-
curl cmd.cat/ppl_gprolog.sh
- CentOS
-
yum install ppl-gprolog
- Fedora
-
dnf install ppl-gprolog
- Dockerfile
- dockerfile.run/ppl_gprolog