GNU Multiple Precision Arithmetic Library
=
GMP is a free library for arbitrary precision arithmetic, operating on signed
integers, rational numbers, and floating point numbers. There is no practical
limit to the precision except the ones implied by the
The MPFR Library
The MPFR library is a C library for multiple-precision floating-point
computations with exact rounding (also called correct rounding). It is
based on the GMP multiple-precision library.
The main goal of MPFR is to provide a library for multiple-precision
The MPFC Library
The MPFR library is a C library for multiple-precision complex floating point
computations with exact rounding (also called correct rounding). It is
built on the GMP and MPFR multiple-precision libraries.
- version 1.0.1-2 -
- recompiled with
The Parma Polyhedra Library
===
The Parma Polyhedra Library is a C++ library for (not necessarily
closed) convex polyhedra and other numerical abstractions.
- version 0.11.2-1 -
- recompiled with cygwin-1.17, gcc4-4.7.2-2 and binutils 2.23.51-1
- test package for
ClooG - The Chunky Loop Generator
=
CLooG is a software which generates loops for scanning Z-polyhedra. That is,
CLooG finds the code or pseudo-code where each integral point of one or more
parametrized polyhedron or parametrized polyhedra union is reached. CLooG