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?
|Operating System||Architecture||Package Type||Package Size||Date Archived||View Contents?||Download|
|HP-UX 11i v3|
|64-bit Itanium 2||Gzipped|
|2.31 MB||24 Aug 2022||No||HTTP FTP|
|2.46 MB||24 Aug 2022||No||HTTP FTP|