Name: | ppl-swiprolog |
---|---|
Version: | 1.2 |
Release: | 24.el9 |
Architecture: | aarch64 |
Group: | Unspecified |
Size: | 5518971 |
License: | GPLv3+ |
RPM: | ppl-swiprolog-1.2-24.el9.aarch64.rpm |
Source RPM: | ppl-1.2-24.el9.src.rpm |
Build Date: | Mon Sep 26 2022 |
Build Host: | build-ol9-aarch64.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. |