Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

ppl-swiprolog

The SWI-Prolog interface of the Parma Polyhedra Library

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.
Homepage:
Package version:0.10.2
Architecture:i686
Distribution:CentOS
Filename:ppl-swiprolog-0.10.2-11.el6.i686.rpm

/usr/share/doc/ppl-swiprolog-0.10.2/README.swiprolog

The SWI-Prolog interface to the Parma Polyhedra Library (PPL) is
available both as a statically linked module or as a dynamically
linked one.  Only SWI-Prolog version 5.6.0 and later versions are
supported.


The `ppl_pl' Executable
-----------------------

The `ppl_pl' executable is simply the SWI-Prolog shell with the PPL
statically linked: from within `ppl_pl' all the services of the
library ar
more»

Browse inside ppl-swiprolog-0.10.2-11.el6.i686.rpm

789 B2014-11-27HEADER  view  1021+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download ppl-swiprolog-0.10.2-11.el6.i686.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com