Wrapper around isl, an integer set library
Project description
islpy is a Python wrapper around Sven Verdoolaege's `isl
<http://www.kotnet.org/~skimo/isl/>`_, 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.
Islpy comes with comprehensive `documentation <http://documen.tician.de/islpy>`_.
*Requirements:* Only the `GNU Multiprecision Library <http://gmplib.org/>`_
and its Python wrapper `gmpy <https://code.google.com/p/gmpy/>`_ (Version 1.x)
are required. A version of isl is shipped with islpy, but optionally
a system-wide one may also be used.
<http://www.kotnet.org/~skimo/isl/>`_, 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.
Islpy comes with comprehensive `documentation <http://documen.tician.de/islpy>`_.
*Requirements:* Only the `GNU Multiprecision Library <http://gmplib.org/>`_
and its Python wrapper `gmpy <https://code.google.com/p/gmpy/>`_ (Version 1.x)
are required. A version of isl is shipped with islpy, but optionally
a system-wide one may also be used.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
islpy-2011.1.tar.gz
(1.6 MB
view details)
File details
Details for the file islpy-2011.1.tar.gz.
File metadata
- Download URL: islpy-2011.1.tar.gz
- Upload date:
- Size: 1.6 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 1902472f8dfe270995760d7f0893d4c1cc0c74272de20d8f00c47b6edb16cc7e |
|
| MD5 | c91c5ad7ddeae19a9b05f58cc9a4bdd4 |
|
| BLAKE2b-256 | b2219fa296c1d23255a64f0d441700d0d9f3b2f97e5c9225e266a610c67a7ea6 |
