Name        : python-module-islpy          Relocations: (not relocatable)
Version     : 2014.2                            Vendor: ALT Linux Team
Release     : alt2.1.1                      Build Date: Sat Apr  2 13:37:33 2016
Install date: (not installed)               Build Host: imz-sisyphus.hasher.altlinux.org
Group       : Development/Python            Source RPM: (none)
Size        : 16522243                         License: MIT
Packager    : Eugeny A. Rostovtsev (REAL) <real at altlinux.org>
URL         : https://pypi.python.org/pypi/islpy
Summary     : Wrapper around isl, an integer set library
Description :
islpy is a Python wrapper around Sven Verdoolaege's 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.