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

Uploaded Source

Built Distributions

islpy-2022.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-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-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-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-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-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-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-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-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-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.tar.gz.

File metadata

  • Download URL: islpy-2022.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.tar.gz
Algorithm Hash digest
SHA256 862cdabc192de4b8330a8d2d584603fe464c7be19a397f7a00ae0ad78a864b86
MD5 099ccdc8c479c027e211b22c4a20a004
BLAKE2b-256 f2982c3f2a66aa3736ba065c8e161525682882cabc0432c445bb9ea5bd3cdfd3

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a25e188545891b90205702f2cd5b54e0555181b9241184292f45379f340db845
MD5 c54fdd0de24d69a8dc0f1394454823a7
BLAKE2b-256 198f977b67352980a5987c0e68f40c9cd32bdacdf578b052c84eb11bf9d4f2a1

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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.7

File hashes

Hashes for islpy-2022.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 64a78956410f941c0a58e8fae7e4173eb7b12c2ca81182724a2dd281bc36e401
MD5 e921435b13be8c27182df001de2532f5
BLAKE2b-256 d90488c1e92a7e42f14b0b42d4600797f5338d470fa8c5e9f832512d4eec998d

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 f2540b77b2d4b0efe534bc9f231e77df75dc9262c09262d4fec8cea202791f7f
MD5 30bbe34fe4ff55da85b43317a41058a5
BLAKE2b-256 ff887d2f85b12a66569c8a41a7d77d8df36d54ade5ca69fb818548eb4c5bb76d

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 b6d43510afed56a3692b92797fa45063d17707ed63bbcdb6b081809f7b2cbf09
MD5 7116e2346c2fcea1e7d76f8e2ba96f5e
BLAKE2b-256 1462d8efa34864830c54e4d8555ac624f42abe9a69890189e21315c109d0e185

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 fe3d445ebe5aaf91317857264af14e1c5cece72ca6e8e2d297c8ab727e79966a
MD5 76ea03b5b1ed24174e4ea441f8d3f71a
BLAKE2b-256 070944cd013e61da3d4887f2668b4483247a343d3fbeca925b8166408790ae2d

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 70f9f1bed94bd2815f9aa7b8a8590182296810acbd13762b81ddec0fec6c9191
MD5 820fcb2ee71ee3f613c6e3f0a9acc38b
BLAKE2b-256 bcbe482b6d4ed940f701937b78324e24adf8b55aca145c208cd5a1a586db8576

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 21ed6925109bf578fdc87612a3c63287207a3c5b875295a6871dfa8409106056
MD5 7b5e7f877fc28e0dc0ec84160c70cf31
BLAKE2b-256 24f47f645b4bfb823e2ce851d837fc4556de0a57e33546de736b6a1ee79981d1

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d91bb3d5f2c71d6e018b25a2a49e5d8d6570d40a3c4ce29d14bb24d5d940c1b9
MD5 6832f3490d2481308ea562f195712362
BLAKE2b-256 d3894bb47ab918991c80717210a5b656b6a7823fb1ab2547df5db055ff930bb5

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 f92e0818b3c33dceb3e5f612b526b7ae14c0b1a9107491913a935a188d32e997
MD5 1750e59a3fa1a3e36918943e22482be1
BLAKE2b-256 55490ac0bb2a510eb716a15bf40c84f6a778e1788761e5cd2fac5f2624563f1b

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 53e472eab14bea4740485d730f71e35f21c2c6fbba07aef8f452674cbae946eb
MD5 ef7d592227a07007c1a74c6d3b52d007
BLAKE2b-256 cfcc3ac13a0791aed86d7afaf75ba487333d35f90b804e48c4aa2544e19093fb

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