islpy

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.

Project details

Release history Release notifications | RSS feed

This version

2021.1

Apr 7, 2021

2020.2.2

Oct 11, 2020

2020.2.1

Oct 11, 2020

2020.2

Aug 4, 2020

2019.1.2

Sep 20, 2019

2019.1.1

Sep 18, 2019

2019.1

Sep 18, 2019

2018.2

Aug 24, 2018

2018.1

Mar 10, 2018

2016.2.2

Feb 6, 2017

2016.2.1

Sep 4, 2016

2016.2

Jul 14, 2016

2016.1.2

Feb 27, 2016

2016.1.1

Feb 4, 2016

2016.1

Jan 15, 2016

2015.2

Aug 16, 2015

2015.1.1

Apr 20, 2015

2015.1

Apr 18, 2015

2014.2.2

Nov 27, 2014

2014.2.1

Nov 27, 2014

2014.2

May 29, 2014

2014.1.1

Feb 18, 2014

2014.1

Feb 13, 2014

2013.3.1

Jun 10, 2013

2013.3

Jun 9, 2013

2013.2

May 1, 2013

2013.1

Jan 22, 2013

2011.3

Nov 24, 2011

2011.2

Jul 17, 2011

2011.1

Jul 9, 2011

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for islpy, version 2021.1
Filename, size	File type	Python version	Upload date	Hashes
Filename, size islpy-2021.1-cp36-cp36m-macosx_10_9_x86_64.whl (3.9 MB)	File type Wheel	Python version cp36	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp36-cp36m-manylinux1_i686.whl (3.5 MB)	File type Wheel	Python version cp36	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp36-cp36m-manylinux1_x86_64.whl (3.5 MB)	File type Wheel	Python version cp36	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp37-cp37m-macosx_10_9_x86_64.whl (3.9 MB)	File type Wheel	Python version cp37	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp37-cp37m-manylinux1_i686.whl (3.5 MB)	File type Wheel	Python version cp37	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp37-cp37m-manylinux1_x86_64.whl (3.5 MB)	File type Wheel	Python version cp37	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp38-cp38-macosx_10_9_x86_64.whl (3.9 MB)	File type Wheel	Python version cp38	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp38-cp38-manylinux1_i686.whl (3.5 MB)	File type Wheel	Python version cp38	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp38-cp38-manylinux1_x86_64.whl (3.5 MB)	File type Wheel	Python version cp38	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp39-cp39-macosx_10_9_x86_64.whl (3.9 MB)	File type Wheel	Python version cp39	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp39-cp39-manylinux1_i686.whl (3.5 MB)	File type Wheel	Python version cp39	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1-cp39-cp39-manylinux1_x86_64.whl (3.5 MB)	File type Wheel	Python version cp39	Upload date Apr 7, 2021	Hashes View
Filename, size islpy-2021.1.tar.gz (1.2 MB)	File type Source	Python version None	Upload date Apr 7, 2021	Hashes View

Hashes for islpy-2021.1-cp36-cp36m-macosx_10_9_x86_64.whl

Hashes for islpy-2021.1-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`1b17db4e4188050deaacfe2e4828c55a067c394e8f1c4b75cec190ced384b18f`
MD5	`8720d58e31bcaa4c40818f79b76285fd`
BLAKE2-256	`d2fe4ce136d79f4f0d6f621893658b500432fe1357423183dd88b1a14caf0c72`

Hashes for islpy-2021.1-cp36-cp36m-manylinux1_i686.whl

Hashes for islpy-2021.1-cp36-cp36m-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`96b6c026951aff6efa9d1d30a676f2863fc7779c831f708d35498a0cf80e9d96`
MD5	`e1b22eb9209ed3abce7d7627c62b1fa0`
BLAKE2-256	`b8b5c03be2bdc868af6aee379d88f75351c99e95c2c5d39eef2b2ed74ee986f6`

Hashes for islpy-2021.1-cp36-cp36m-manylinux1_x86_64.whl

Hashes for islpy-2021.1-cp36-cp36m-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`7a654713ca00f6c5e70effa42de5c13ecec435fe611bdbb4cbbb91cf0436699a`
MD5	`a33376b68cab26b50b58f851d3eaf51f`
BLAKE2-256	`8c71c214b1d4d9a53058a7be072e4e0ea97b2e71fc7abdbe7399cd6ca7b8cb44`

Hashes for islpy-2021.1-cp37-cp37m-macosx_10_9_x86_64.whl

Hashes for islpy-2021.1-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`1ed3fb67cd448ac50e329c31eabb1d3a3044048b76bafbc010dcfbbb577e5872`
MD5	`62342d2083ce17d01f3292d684b435e3`
BLAKE2-256	`f6d1214769ccd602a75219d8c501cd6a8e9ddb017e6d18d3695eba02cbaa3329`

Hashes for islpy-2021.1-cp37-cp37m-manylinux1_i686.whl

Hashes for islpy-2021.1-cp37-cp37m-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`8b32747f298bcbc294a3ac707f79165096e1b16fd1cbf9dfd255107fa51a7f0b`
MD5	`b3e114ca712f71f408ed78ca44c0c794`
BLAKE2-256	`c1d16e9a5aa34077fb7673a5a9d9e1d2a14274c10e988f402c23c2c3cdb84042`

Hashes for islpy-2021.1-cp37-cp37m-manylinux1_x86_64.whl

Hashes for islpy-2021.1-cp37-cp37m-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`aea4d4403ce0d31cb833c56e3040dfa7bfd32d0bccf7daaf94dcc349bb77c23e`
MD5	`4776ca92622a768bc1533ff7bbce76c9`
BLAKE2-256	`ff00362d4ffd2c90301d7c5a801cc96b6732a715f0de5bd2cbf43f9e8c47415e`

Hashes for islpy-2021.1-cp38-cp38-macosx_10_9_x86_64.whl

Hashes for islpy-2021.1-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`8c982c0b15cf2e3006db54f8463cc6edd3d18b2289d44927b2161ddeeab67d67`
MD5	`9dfeb970d227e13be0a9df96ccf4c865`
BLAKE2-256	`4522274079150242eba4004ece0a3278e5702dcb37a4485bcf58299708f76593`

Hashes for islpy-2021.1-cp38-cp38-manylinux1_i686.whl

Hashes for islpy-2021.1-cp38-cp38-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`f231a258287e2d7bef414ba7bd124f7682602cec5879c783a1758f044bc0e3db`
MD5	`3045ed22a50d4ef87a750133383e4ae1`
BLAKE2-256	`56be018a85cbd0c1aa648226eb7a5c9352100e9d4ec25ed717a2dda9b82d5680`

Hashes for islpy-2021.1-cp38-cp38-manylinux1_x86_64.whl

Hashes for islpy-2021.1-cp38-cp38-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`baeb51cafaa46b9fca7b92d49b67932cb1f55c43bdbc7119872bb24c87454be8`
MD5	`99e7886015c902aebefc11b701f61bec`
BLAKE2-256	`54f1539cd5c849b720b7b76c00d964f68b809d0f1dcf6bb3c6950b5588c1e24c`

Hashes for islpy-2021.1-cp39-cp39-macosx_10_9_x86_64.whl

Hashes for islpy-2021.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`45ca5e7dc9672ba2f215239b68c70132a9ad031fb5ac79845adf49732b17857f`
MD5	`3ef4eeacdb8dbb38bcbfc1ffc5b29747`
BLAKE2-256	`ee6edf98652a0bed385333d9744499e5f7b7e483e691f5b85ff74f67691f89b2`

Hashes for islpy-2021.1-cp39-cp39-manylinux1_i686.whl

Hashes for islpy-2021.1-cp39-cp39-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`8d51016454d9b3d6535554585ba6e0bc39abaf0543140a3c1d0d049e95f0a663`
MD5	`bdc6b29453f73c823f980665bd83fc43`
BLAKE2-256	`562635922476404e94ef97bef7588af3d1c24805619f2055ea2dde859c3dbacb`

Hashes for islpy-2021.1-cp39-cp39-manylinux1_x86_64.whl

Hashes for islpy-2021.1-cp39-cp39-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`be7d9cc4525bf4699b9450a108c514d12ef388c2abdb54605e65d3f1335656e5`
MD5	`ff28a4d6b093f564e86e0bb33f90ec33`
BLAKE2-256	`a3028085d26939858586714d2cb3d2ae423987d9c41f781de671a3c2982c54bb`

Hashes for islpy-2021.1.tar.gz

Hashes for islpy-2021.1.tar.gz
Algorithm	Hash digest
SHA256	`b3f49de925149dbf2482e648016507cd66d0dce6668a1bc4de5e7a937e9c576d`
MD5	`5c236160be78d4ac113c9fb444b8afec`
BLAKE2-256	`eba3a22c4234654e48721d95a64e0e559f41fdc3e669b27a2537acc8f3fb316f`