isl-0.16.1

Thread-safe library for manipulating sets

The descriptions of the sets and relations may involve both parameters and existentially quantified variables. All computations are performed in exact integer arithmetic using GMP.

There are run-time dependencies that need to be installed first. Why not use depothelper to install them all in one go?

Dependencies
Run-time dependencies:
gmp                
Build-time dependencies:
gmp make              
Operating System Architecture Package Type Package Size Date Archived View Contents? Download
HP-UX 11i v3
(HP-UX 11.31)
64-bit Itanium 2Gzipped
Binary Depot
1.85 MB8 Sep 2017YesHTTP FTP
HP-UX 11i v3
(HP-UX 11.31)
32-bit PA-RISC 2.0Gzipped
Binary Depot
1.67 MB8 Sep 2017YesHTTP FTP
HP-UX -Tarred/Gzipped
Source Code
1.65 MB8 Sep 2017YesHTTP FTP