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-2020.2.2-cp36-cp36m-macosx_10_9_x86_64.whl (3.8 MB) | File type Wheel | Python version cp36 | Upload date | Hashes View |
Filename, size islpy-2020.2.2-cp36-cp36m-manylinux1_i686.whl (3.4 MB) | File type Wheel | Python version cp36 | Upload date | Hashes View |
Filename, size islpy-2020.2.2-cp36-cp36m-manylinux1_x86_64.whl (3.4 MB) | File type Wheel | Python version cp36 | Upload date | Hashes View |
Filename, size islpy-2020.2.2-cp37-cp37m-macosx_10_9_x86_64.whl (3.8 MB) | File type Wheel | Python version cp37 | Upload date | Hashes View |
Filename, size islpy-2020.2.2-cp37-cp37m-manylinux1_i686.whl (3.4 MB) | File type Wheel | Python version cp37 | Upload date | Hashes View |
Filename, size islpy-2020.2.2-cp37-cp37m-manylinux1_x86_64.whl (3.4 MB) | File type Wheel | Python version cp37 | Upload date | Hashes View |
Filename, size islpy-2020.2.2-cp38-cp38-macosx_10_9_x86_64.whl (3.8 MB) | File type Wheel | Python version cp38 | Upload date | Hashes View |
Filename, size islpy-2020.2.2-cp38-cp38-manylinux1_i686.whl (3.4 MB) | File type Wheel | Python version cp38 | Upload date | Hashes View |
Filename, size islpy-2020.2.2-cp38-cp38-manylinux1_x86_64.whl (3.4 MB) | File type Wheel | Python version cp38 | Upload date | Hashes View |
Filename, size islpy-2020.2.2.tar.gz (1.1 MB) | File type Source | Python version None | Upload date | Hashes View |
Close
Hashes for islpy-2020.2.2-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 34adbdd9246cd6b2dc1bc111c8019aa3bdadc6699ae06403cf83c8be7fb3e4ef |
|
MD5 | 170fc64ed2eb00863eb836d4db1e19df |
|
BLAKE2-256 | 19435f5f21e898dbc2df27207393ca8514d36bee1dfde9d3d7c7ffbf4072937b |
Close
Hashes for islpy-2020.2.2-cp36-cp36m-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ac339663902eeb7195b78fe6dd64d5cc6ac06fd38baecddb6d1b5bd07e6ca6f1 |
|
MD5 | f156ec57d1f1f9426cd0535dffe5e19c |
|
BLAKE2-256 | 0bb9bc78b46ff5c8e08fa361093f87b74d9d34a0e4bb43bb35f0fc955124988a |
Close
Hashes for islpy-2020.2.2-cp36-cp36m-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 43104323c488f52d6c4fecfb1da58443d3ed466419b5f2f821a953a274cd5b95 |
|
MD5 | c32c65464f389b0e5423a87a7be09ec1 |
|
BLAKE2-256 | afc51c1fdd6ae6a40ee692c45aab3cd7c3de836e291c0e2ba920beb4a9a7ce90 |
Close
Hashes for islpy-2020.2.2-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5050bae35729efc981ea658422d52f346b2b20a5aef7544fa51461e8bd6de292 |
|
MD5 | f0cb640ecaaa41a3251152255811ea53 |
|
BLAKE2-256 | bf8705f1a1152cc9f1a3ba4f8d96036fc2bd3b3b5d5838199cb8cf2b3855aad8 |
Close
Hashes for islpy-2020.2.2-cp37-cp37m-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | da2353cbedc71201266b697a7d1e5e646a2d1eea6d48fb8e359fa27313101d06 |
|
MD5 | 445e8c94a92a0ee3096e7dd13d964c9b |
|
BLAKE2-256 | ddbba1d63a4487ba811b16db92d181212926752fa4de4527b38f34454be5aed0 |
Close
Hashes for islpy-2020.2.2-cp37-cp37m-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fd35e2b7c09dca2b416fc08053eaf0de2d030592254ce3fb6f5f1315b0036732 |
|
MD5 | ed216905bbcc04fff50566e42029196a |
|
BLAKE2-256 | 6e31584e055b9f379edb79b5cfd1eee54a7c58894d677cc8df49676a60c8497d |
Close
Hashes for islpy-2020.2.2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2a7ea6c7cef4fa329861a67d249ea44980de5a302d6691fba5eda75c11711dd8 |
|
MD5 | 79f7522b7b53c70564c68c986cab6807 |
|
BLAKE2-256 | e60bb9f1eb5d1504671a203bef5d580aa8cd4b76112b3565ff06c65c44d10e15 |
Close
Hashes for islpy-2020.2.2-cp38-cp38-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d9a68d6112b62d3493c9304f6b3cf9178f4831d46b861ae59270ea0582669f90 |
|
MD5 | a27fe183f114cb99225c10f4c7ac646c |
|
BLAKE2-256 | ad5fe9e522bd08659e182de9fae3da91d91918ecdfd6eaf2af3d10e818c88bfe |
Close
Hashes for islpy-2020.2.2-cp38-cp38-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3cebac3bddb116bd2b3402e66bf5f5bb9ef23cd9c6752e181269b24120a91890 |
|
MD5 | 177d41a13b62cfe8e123a0c52bd2e26b |
|
BLAKE2-256 | 486d549f837a3e7e20e8516b8777bddc7bf85b9fa566cc6ab9ab7708054c8f0f |