Download Latest Version wxWidgets 2.9.4 Win32 (2.3 MB) Get Updates
Home / math / libisl
Name Modified Size InfoDownloads / Week
Parent folder
old 2015-02-01
0
libisl_0.14_mingw32.tar.xz 2015-02-12 705.8 kB
0
libisl_0.14_doc.tar.xz 2015-02-12 405.1 kB
0
libisl-static_0.14_mingw32.tar.xz 2015-02-12 444.8 kB
0
README-isl.txt 2015-02-12 949 Bytes
0
Totals: 5 Items   1.6 MB 0 
The Integer Set Library (ISL) is a library for manipulating sets and
relations of integer points bounded by linear constraints. Supported
operations on sets include intersection, union, set difference, emptiness
check, convex hull, (integer) affine hull, integer projection, computing
the lexicographic minimum using parametric integer programming, coalescing
and parametric vertex enumeration. It also includes an ILP solver based on
generalized basis reduction, transitive closures on maps (which may encode
infinite graphs), dependence analysis and bounds on piecewise step-polynomials.

Home:
    http://isl.gforge.inria.fr/

Source:
    git clone git://repo.or.cz/isl.git

Documentations:
    http://isl.gforge.inria.fr/user.html
    http://isl.gforge.inria.fr/manual.pdf

Licenses:
    MIT

Requires:
    gmp

Notes:
    isl_version() reports that it is "0.13" when it should be 0.14. DLL is
    named "libisl-13".
Source: README-isl.txt, updated 2015-02-12