skip to navigation
skip to content

Not Logged In

islpy 2011.3

Wrapper around isl, an integer set library

Latest Version: 2014.1.1

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.

Islpy comes with comprehensive documentation.

Requirements: Only the GNU Multiprecision Library and its Python wrapper gmpy (Version 1.x) are required. A version of isl is shipped with islpy, but optionally a system-wide one may also be used.

 
File Type Py Version Uploaded on Size
islpy-2011.3.tar.gz (md5) Source 2011-11-26 1MB
  • Downloads (All Versions):
  • 16 downloads in the last day
  • 146 downloads in the last week
  • 735 downloads in the last month