Name: | ppl-swiprolog |
---|---|
Version: | 1.2 |
Release: | 24.el9 |
Architecture: | x86_64 |
Group: | Unspecified |
Size: | 6628859 |
License: | GPLv3+ |
RPM: | ppl-swiprolog-1.2-24.el9.x86_64.rpm |
Source RPM: | ppl-1.2-24.el9.src.rpm |
Build Date: | Mon Sep 26 2022 |
Build Host: | build-ol9-x86_64.oracle.com |
Vendor: | Oracle America |
URL: | http://www.bugseng.com/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. |