Skip to main content

Wrapper around isl, an integer set library

Project description

Gitlab Build Status Github Build Status Python Package Index Release Page

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. It can optionally make use of GMP for support of large integers.

One important thing to know about islpy is that it exposes every function in isl that is visible in the headers, not just what isl’s authors consider its documented, public API (marked by __isl_export). These (technically) undocumented functions are marked in the islpy documentation. Many of them are useful and essential for certain operations, but isl’s API stability guarantees do not apply to them. Use them at your own risk.

Project details


Download files

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

Source Distribution

islpy-2022.1.2.tar.gz (1.1 MB view details)

Uploaded Source

Built Distributions

islpy-2022.1.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

islpy-2022.1.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (4.4 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ i686

islpy-2022.1.2-cp39-cp39-macosx_10_9_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.9 macOS 10.9+ x86-64

islpy-2022.1.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ x86-64

islpy-2022.1.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl (4.4 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ i686

islpy-2022.1.2-cp38-cp38-macosx_10_9_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.8 macOS 10.9+ x86-64

islpy-2022.1.2-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.17+ x86-64

islpy-2022.1.2-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl (4.4 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.17+ i686

islpy-2022.1.2-cp37-cp37m-macosx_10_9_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.7m macOS 10.9+ x86-64

islpy-2022.1.2-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.17+ x86-64

islpy-2022.1.2-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl (4.4 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.17+ i686

islpy-2022.1.2-cp36-cp36m-macosx_10_9_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.6m macOS 10.9+ x86-64

File details

Details for the file islpy-2022.1.2.tar.gz.

File metadata

  • Download URL: islpy-2022.1.2.tar.gz
  • Upload date:
  • Size: 1.1 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.7.1 importlib_metadata/4.10.0 pkginfo/1.8.2 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.10.2

File hashes

Hashes for islpy-2022.1.2.tar.gz
Algorithm Hash digest
SHA256 6742d799b41e0b204f3f49ad9edf941728b4f2d71f3fd5cb6544bc8f392b003a
MD5 0b533c2f7726567c4153ead46519afa9
BLAKE2b-256 55fa6dea59b968a6d13e8ccaa9dd83347f3eaaa1fadeba10969a8316c9a7df47

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
  • Upload date:
  • Size: 4.1 MB
  • Tags: CPython 3.9, manylinux: glibc 2.17+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 41a540a4a8f2589f0b2657b011303753706e1900313baba3c7b489107b84b6d4
MD5 83e1c4e01298f23444318e26196a2f7e
BLAKE2b-256 5efb9b150aa067d071b5e7050ae8d4bdcc2211e604e273f4da274dde9c22f3ae

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
  • Upload date:
  • Size: 4.4 MB
  • Tags: CPython 3.9, manylinux: glibc 2.17+ i686
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 8c80e0d23923c50ee04b0be6dd1b49eb3c88f475eb224f56c5cc1e47a576740b
MD5 ee5f9293e2acb4cf429e8581867fa6a8
BLAKE2b-256 fc03dd9e9681a4df812c53d9d3ffbe70cb7d9277231aeaa76b9d198a03e41e4e

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp39-cp39-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp39-cp39-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.9 MB
  • Tags: CPython 3.9, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.9.9

File hashes

Hashes for islpy-2022.1.2-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 d1b453a3fe9a4f137a7926dff2baa508c7d2e28eaae162b01b9200c026c22978
MD5 e3481f3c2240a177c57497be759e1ff7
BLAKE2b-256 b5d74dd7d657bb932118201d2dfa4e2b93fd71392bb45dad4402ea3d0619f00d

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
  • Upload date:
  • Size: 4.1 MB
  • Tags: CPython 3.8, manylinux: glibc 2.17+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e0fe70bda22f8d405c6dda862b78cf589fa1d0cd204c84df1440891abe7f8599
MD5 7d27f2b75bbe1869b3eeee4d6358b66a
BLAKE2b-256 bad3052f87aec306bc0d2a7751e8ce8814e800b78e1217c7197b960e13af4557

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
  • Upload date:
  • Size: 4.4 MB
  • Tags: CPython 3.8, manylinux: glibc 2.17+ i686
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 a2c20706999e0a6373565397b69873c6deb11c145b1eddcb092ad387ff1f0c71
MD5 1887589ede79a0cf24d20f217397a714
BLAKE2b-256 5053c39ff58e5d838c941ec27fbf3d18a441f727b46407b4b98b531c4229f576

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp38-cp38-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.9 MB
  • Tags: CPython 3.8, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 31d3e6db41a9ff4b873990602f7104f568af3bcebe3c682117cfd8d2595de52d
MD5 3e1fe9f2dbda35395dcc4fac90e39e0b
BLAKE2b-256 ec6b1348fd2125184d4ba620ba73ed08a6c5bfa385721bfd29dc8f3d4b974674

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
  • Upload date:
  • Size: 4.1 MB
  • Tags: CPython 3.7m, manylinux: glibc 2.17+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c43a4bdc4cd4cbc2f20b92c0afd1a51406a32a7a61fe556bb7e90ee254c00dbf
MD5 5806768544f45b71f01d196823e205e9
BLAKE2b-256 dabdd5b29bd629bf88c87e64972a8ff83c45960258ba151a0bb7c51fd6a6708f

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl
  • Upload date:
  • Size: 4.4 MB
  • Tags: CPython 3.7m, manylinux: glibc 2.17+ i686
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 a0adaa44462bbf5ad72ae374cce3fc0d215d6539d437c3be04d58f06644ec66f
MD5 cc76b6865aba6a494e2426696bc6caf6
BLAKE2b-256 632c31fc8d893d03293d7d8428cc67b1f5b5f74064f2ff003548a7d934bd7b6c

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp37-cp37m-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp37-cp37m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.9 MB
  • Tags: CPython 3.7m, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.7.9

File hashes

Hashes for islpy-2022.1.2-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 ee5b242428e370abb67629711fb552ee34abf6a324ee39d419017dea57934071
MD5 e2252e8d4d794870985d2a695a255f7e
BLAKE2b-256 d6e03a33ab950b337f505e7b4b6b40478fcde0999930d919e0a3b0e2feb772f8

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
  • Upload date:
  • Size: 4.1 MB
  • Tags: CPython 3.6m, manylinux: glibc 2.17+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 2d84611869cc7ba2f47ca510b85c10bf3d84fcca4b010b67331947a369640e18
MD5 9c090cf8192585b23874838bf1259471
BLAKE2b-256 c92aaf9344bec5aebf54fa5cbeff7e9a02d7ec2e976d51ee47804b1bdd892907

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl
  • Upload date:
  • Size: 4.4 MB
  • Tags: CPython 3.6m, manylinux: glibc 2.17+ i686
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.2-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 b8aad96d7f1c177819c10c8fcdd5d694e9db3ac5f6b3a60e2b8f3fbdafc61201
MD5 1c2c33a7ed0e5d25fc7245ed0f2fd34f
BLAKE2b-256 a5c0c0accde8f53d8edb817b3f2c87438aa763672df9da2884dac4ff3f6b539e

See more details on using hashes here.

File details

Details for the file islpy-2022.1.2-cp36-cp36m-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: islpy-2022.1.2-cp36-cp36m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.9 MB
  • Tags: CPython 3.6m, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/33.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.8.3 keyring/23.4.1 rfc3986/1.5.0 colorama/0.4.4 CPython/3.6.8

File hashes

Hashes for islpy-2022.1.2-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 52aea8954ccf989e59969993b2222780a83f6226516768cafddbc85e628b9119
MD5 ace09a4df837074d9ac2015374e4dcf4
BLAKE2b-256 ca41d0ad68bebb0d9e417d2d3706d535fa4f3f54ee97b88337b3d011854560a1

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page