ppl_pl
This package adds SWI-Prolog support to the Parma Polyhedra
Install
- All systems
-
curl cmd.cat/ppl_pl.sh
- CentOS
-
yum install ppl-swiprolog - Fedora
-
dnf install ppl-swiprolog - Dockerfile
- dockerfile.run/ppl_pl
ppl-swiprolog
This package adds SWI-Prolog support to the Parma Polyhedra
Library. Install this package if you want to use the library in SWI-Prolog programs.