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. GMP, which used to be a dependency, is no longer required.

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.1.tar.gz (1.1 MB view details)

Uploaded Source

Built Distributions

islpy-2022.1.1-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.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (4.3 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ i686

islpy-2022.1.1-cp39-cp39-macosx_10_9_x86_64.whl (4.8 MB view details)

Uploaded CPython 3.9 macOS 10.9+ x86-64

islpy-2022.1.1-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.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl (4.3 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ i686

islpy-2022.1.1-cp38-cp38-macosx_10_9_x86_64.whl (4.8 MB view details)

Uploaded CPython 3.8 macOS 10.9+ x86-64

islpy-2022.1.1-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.1-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl (4.3 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.17+ i686

islpy-2022.1.1-cp37-cp37m-macosx_10_9_x86_64.whl (4.8 MB view details)

Uploaded CPython 3.7m macOS 10.9+ x86-64

islpy-2022.1.1-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.1-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl (4.3 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.17+ i686

islpy-2022.1.1-cp36-cp36m-macosx_10_9_x86_64.whl (4.8 MB view details)

Uploaded CPython 3.6m macOS 10.9+ x86-64

File details

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

File metadata

  • Download URL: islpy-2022.1.1.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.1.tar.gz
Algorithm Hash digest
SHA256 79635cd71c4ea8498f7520b51daead7ccf287e092e75f3868efa77672338a711
MD5 65de5db7ef33ebf85d40442c2b742eae
BLAKE2b-256 5176d7f76e4eb39096f8952f5130cdb1b5181c580c7cfc7bb552c0c0be49bd65

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-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/32.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 199e07af6a8de3cfa198793e0d14aba8100072ee129b745fa2207735fde8a591
MD5 ce8137ef9a313f4dc5a27509ecafc623
BLAKE2b-256 bac0f76a581ba9bfd9efc8eafd167f946b10ee8f9ec8f1d43aed8eaa198216b9

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
  • Upload date:
  • Size: 4.3 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/32.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 d21a1e93e5bbf49f85180eb01a5cfc0ba6f7cd42b17b37219727953ec4301df8
MD5 1193fd25b029239be30f0552de9c7032
BLAKE2b-256 bb2806950fff87698503ca38af915601b645dcf692deaccf00aed809dc4b1f11

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-cp39-cp39-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.8 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/32.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.9.9

File hashes

Hashes for islpy-2022.1.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 8883c03be82b566411f19ecf9cb286e5c089bc1b0ffd1257e7e6e9efcebc1b8e
MD5 633d2b276fa0cb8a2e1f16ed4f2fc10d
BLAKE2b-256 a5e9b8890f0b234cad5008534e4e9d8d6156d45493c0e7a074cb543abe9076b0

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-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/32.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a4e5ab39654da69941af958ba3edb0bedd44bfa5a64d80437614a4f104c26c75
MD5 9ca2cb58413175f9f81465e8f961f747
BLAKE2b-256 278351de088ba21cf239b630b1d98ecc1d6fcafbc5d7835ff99a10a50c2b6541

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
  • Upload date:
  • Size: 4.3 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/32.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 88ee59296430e78960cd16610b69cb98449aa97d88323f792e02022b6b63eb20
MD5 3c838f2067414f920f7b758ed1e226cc
BLAKE2b-256 150872e0c7f5e1fa82e47f8467c89a59ee68ff1f2da4a11120ff748494382760

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-cp38-cp38-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.8 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/32.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 076753383cf69bcf9975fb9add90915dd138c240d60e7071b9384d5f4a418084
MD5 03bd95a6068115e6b2a2117e0d96ff73
BLAKE2b-256 505575b52a7738b05e5bd1723ba4e069fa2e8f149aab0c0fba6f089d65e92768

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-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/32.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 fd58decb415331700cd06815367566e8424f27e26aa9ba42cabaf3f7c60a9bb9
MD5 d184ce324164dacc9f4c77fc13a05375
BLAKE2b-256 4da35996ba870b7edc38212b743f2021ed39b104369ba6ec31531f0708102c03

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl
  • Upload date:
  • Size: 4.3 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/32.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 2390f566f1a8a52613efb4f0edeb0c81288b826e9abe17dc3d02cd4d269518de
MD5 a0c89df2efaa8c2463b427a1a9f009e5
BLAKE2b-256 56829c62ec98ebc1d0d0063d9fe1dfbadc91e10df9c3a5546dc2f1eda84fc5f9

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-cp37-cp37m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.8 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/32.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.7.9

File hashes

Hashes for islpy-2022.1.1-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 bfead6932db4fbdc188d85014ad4601c00aaf3ebb7cc7db7d3d196da356acf4d
MD5 7a6039f82721a1d7832ab1a75fdb3154
BLAKE2b-256 10bbbd5095d08b8bbe3d2430b15036e7426a67628d4a3011129764b214b5ee8b

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-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/32.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4e8116a3c84cb6ee7a7ea299fede5fc286fa09ea6612e8788de1ebb65a4a82cf
MD5 84243e3f98cceee8f1057a29f0ddec78
BLAKE2b-256 8b760db82ada4291f2abeedcc5140f425948fa1b804e94bf8ab67ac1ee68b7dd

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl
  • Upload date:
  • Size: 4.3 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/32.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.11.1 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for islpy-2022.1.1-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 4852ea95d50404475a82b12fc31b6b8fe36cb583daa34b4047c0b9d42914f41c
MD5 fb5f5a778bc3995a51ba16631f4794f3
BLAKE2b-256 953a8930384ec50d24a334937967e8e10c785388b86fc387bd4be46bc95e9665

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.1.1-cp36-cp36m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.8 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/32.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.62.3 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.1-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 b45a23b6dad1dca53ffffa4ba90467c56a05719ea2f8581cc06735931e8f3b60
MD5 f7626105e7347e920284a4fbabdf42c7
BLAKE2b-256 eb1348646b995a13c9bd9c7c4263e511013adeb98fedb9224b4852fcceba0b18

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