Name: | ppl-swiprolog |
---|---|
Version: | 0.10.2 |
Release: | 11.el6 |
Architecture: | i686 |
Group: | Development/Libraries |
Size: | 9052676 |
License: | GPLv3+ |
RPM: | ppl-swiprolog-0.10.2-11.el6.i686.rpm |
Source RPM: | ppl-0.10.2-11.el6.src.rpm |
Build Date: | Sun Jul 25 2010 |
Build Host: | ca-build19.us.oracle.com |
Vendor: | Oracle America |
URL: | http://www.cs.unipr.it/ppl/ |
Summary: | The SWI-Prolog interface of the Parma Polyhedra Library |
Description: | 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. |