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
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
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 | Hashes View |
Filename, size islpy-2021.1-cp36-cp36m-manylinux1_i686.whl (3.5 MB) | File type Wheel | Python version cp36 | Upload date | Hashes View |
Filename, size islpy-2021.1-cp36-cp36m-manylinux1_x86_64.whl (3.5 MB) | File type Wheel | Python version cp36 | Upload date | 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 | Hashes View |
Filename, size islpy-2021.1-cp37-cp37m-manylinux1_i686.whl (3.5 MB) | File type Wheel | Python version cp37 | Upload date | Hashes View |
Filename, size islpy-2021.1-cp37-cp37m-manylinux1_x86_64.whl (3.5 MB) | File type Wheel | Python version cp37 | Upload date | 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 | Hashes View |
Filename, size islpy-2021.1-cp38-cp38-manylinux1_i686.whl (3.5 MB) | File type Wheel | Python version cp38 | Upload date | Hashes View |
Filename, size islpy-2021.1-cp38-cp38-manylinux1_x86_64.whl (3.5 MB) | File type Wheel | Python version cp38 | Upload date | 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 | Hashes View |
Filename, size islpy-2021.1-cp39-cp39-manylinux1_i686.whl (3.5 MB) | File type Wheel | Python version cp39 | Upload date | Hashes View |
Filename, size islpy-2021.1-cp39-cp39-manylinux1_x86_64.whl (3.5 MB) | File type Wheel | Python version cp39 | Upload date | Hashes View |
Filename, size islpy-2021.1.tar.gz (1.2 MB) | File type Source | Python version None | Upload date | Hashes View |
Close
Hashes for islpy-2021.1-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1b17db4e4188050deaacfe2e4828c55a067c394e8f1c4b75cec190ced384b18f |
|
MD5 | 8720d58e31bcaa4c40818f79b76285fd |
|
BLAKE2-256 | d2fe4ce136d79f4f0d6f621893658b500432fe1357423183dd88b1a14caf0c72 |
Close
Hashes for islpy-2021.1-cp36-cp36m-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 96b6c026951aff6efa9d1d30a676f2863fc7779c831f708d35498a0cf80e9d96 |
|
MD5 | e1b22eb9209ed3abce7d7627c62b1fa0 |
|
BLAKE2-256 | b8b5c03be2bdc868af6aee379d88f75351c99e95c2c5d39eef2b2ed74ee986f6 |
Close
Hashes for islpy-2021.1-cp36-cp36m-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7a654713ca00f6c5e70effa42de5c13ecec435fe611bdbb4cbbb91cf0436699a |
|
MD5 | a33376b68cab26b50b58f851d3eaf51f |
|
BLAKE2-256 | 8c71c214b1d4d9a53058a7be072e4e0ea97b2e71fc7abdbe7399cd6ca7b8cb44 |
Close
Hashes for islpy-2021.1-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1ed3fb67cd448ac50e329c31eabb1d3a3044048b76bafbc010dcfbbb577e5872 |
|
MD5 | 62342d2083ce17d01f3292d684b435e3 |
|
BLAKE2-256 | f6d1214769ccd602a75219d8c501cd6a8e9ddb017e6d18d3695eba02cbaa3329 |
Close
Hashes for islpy-2021.1-cp37-cp37m-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8b32747f298bcbc294a3ac707f79165096e1b16fd1cbf9dfd255107fa51a7f0b |
|
MD5 | b3e114ca712f71f408ed78ca44c0c794 |
|
BLAKE2-256 | c1d16e9a5aa34077fb7673a5a9d9e1d2a14274c10e988f402c23c2c3cdb84042 |
Close
Hashes for islpy-2021.1-cp37-cp37m-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aea4d4403ce0d31cb833c56e3040dfa7bfd32d0bccf7daaf94dcc349bb77c23e |
|
MD5 | 4776ca92622a768bc1533ff7bbce76c9 |
|
BLAKE2-256 | ff00362d4ffd2c90301d7c5a801cc96b6732a715f0de5bd2cbf43f9e8c47415e |
Close
Hashes for islpy-2021.1-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8c982c0b15cf2e3006db54f8463cc6edd3d18b2289d44927b2161ddeeab67d67 |
|
MD5 | 9dfeb970d227e13be0a9df96ccf4c865 |
|
BLAKE2-256 | 4522274079150242eba4004ece0a3278e5702dcb37a4485bcf58299708f76593 |
Close
Hashes for islpy-2021.1-cp38-cp38-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f231a258287e2d7bef414ba7bd124f7682602cec5879c783a1758f044bc0e3db |
|
MD5 | 3045ed22a50d4ef87a750133383e4ae1 |
|
BLAKE2-256 | 56be018a85cbd0c1aa648226eb7a5c9352100e9d4ec25ed717a2dda9b82d5680 |
Close
Hashes for islpy-2021.1-cp38-cp38-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | baeb51cafaa46b9fca7b92d49b67932cb1f55c43bdbc7119872bb24c87454be8 |
|
MD5 | 99e7886015c902aebefc11b701f61bec |
|
BLAKE2-256 | 54f1539cd5c849b720b7b76c00d964f68b809d0f1dcf6bb3c6950b5588c1e24c |
Close
Hashes for islpy-2021.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 45ca5e7dc9672ba2f215239b68c70132a9ad031fb5ac79845adf49732b17857f |
|
MD5 | 3ef4eeacdb8dbb38bcbfc1ffc5b29747 |
|
BLAKE2-256 | ee6edf98652a0bed385333d9744499e5f7b7e483e691f5b85ff74f67691f89b2 |
Close
Hashes for islpy-2021.1-cp39-cp39-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8d51016454d9b3d6535554585ba6e0bc39abaf0543140a3c1d0d049e95f0a663 |
|
MD5 | bdc6b29453f73c823f980665bd83fc43 |
|
BLAKE2-256 | 562635922476404e94ef97bef7588af3d1c24805619f2055ea2dde859c3dbacb |
Close
Hashes for islpy-2021.1-cp39-cp39-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | be7d9cc4525bf4699b9450a108c514d12ef388c2abdb54605e65d3f1335656e5 |
|
MD5 | ff28a4d6b093f564e86e0bb33f90ec33 |
|
BLAKE2-256 | a3028085d26939858586714d2cb3d2ae423987d9c41f781de671a3c2982c54bb |