Wrapper around isl, an integer set library
Project 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.
Islpy comes with comprehensive documentation.
Requirements: islpy needs a C++ compiler to build. GMP, which used to be a dependency, is no longer required.
Release history Release notifications
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Filename, size & hash SHA256 hash help | File type | Python version | Upload date |
---|---|---|---|
islpy-2018.1.tar.gz (1.2 MB) Copy SHA256 hash SHA256 | Source | None | Mar 10, 2018 |