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

Uploaded Source

Built Distributions

islpy-2020.2.2-cp38-cp38-manylinux1_x86_64.whl (3.4 MB view details)

Uploaded CPython 3.8

islpy-2020.2.2-cp38-cp38-manylinux1_i686.whl (3.4 MB view details)

Uploaded CPython 3.8

islpy-2020.2.2-cp38-cp38-macosx_10_9_x86_64.whl (3.8 MB view details)

Uploaded CPython 3.8 macOS 10.9+ x86-64

islpy-2020.2.2-cp37-cp37m-manylinux1_x86_64.whl (3.4 MB view details)

Uploaded CPython 3.7m

islpy-2020.2.2-cp37-cp37m-manylinux1_i686.whl (3.4 MB view details)

Uploaded CPython 3.7m

islpy-2020.2.2-cp37-cp37m-macosx_10_9_x86_64.whl (3.8 MB view details)

Uploaded CPython 3.7m macOS 10.9+ x86-64

islpy-2020.2.2-cp36-cp36m-manylinux1_x86_64.whl (3.4 MB view details)

Uploaded CPython 3.6m

islpy-2020.2.2-cp36-cp36m-manylinux1_i686.whl (3.4 MB view details)

Uploaded CPython 3.6m

islpy-2020.2.2-cp36-cp36m-macosx_10_9_x86_64.whl (3.8 MB view details)

Uploaded CPython 3.6m macOS 10.9+ x86-64

File details

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

File metadata

  • Download URL: islpy-2020.2.2.tar.gz
  • Upload date:
  • Size: 1.1 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/44.0.0 requests-toolbelt/0.9.1 tqdm/4.48.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2.tar.gz
Algorithm Hash digest
SHA256 7eb7dfa41d6a67d9ee4ea4bb9f08bdbcbee42b364502136b7882cfd80ff427e0
MD5 68a2c7723f1603d7a02c9b3c51064211
BLAKE2b-256 fef181c1d61913b004bc64b63f86d91bcc3a49684e1dc7d2ced88b56584a9151

See more details on using hashes here.

File details

Details for the file islpy-2020.2.2-cp38-cp38-manylinux1_x86_64.whl.

File metadata

  • Download URL: islpy-2020.2.2-cp38-cp38-manylinux1_x86_64.whl
  • Upload date:
  • Size: 3.4 MB
  • Tags: CPython 3.8
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 3cebac3bddb116bd2b3402e66bf5f5bb9ef23cd9c6752e181269b24120a91890
MD5 177d41a13b62cfe8e123a0c52bd2e26b
BLAKE2b-256 486d549f837a3e7e20e8516b8777bddc7bf85b9fa566cc6ab9ab7708054c8f0f

See more details on using hashes here.

File details

Details for the file islpy-2020.2.2-cp38-cp38-manylinux1_i686.whl.

File metadata

  • Download URL: islpy-2020.2.2-cp38-cp38-manylinux1_i686.whl
  • Upload date:
  • Size: 3.4 MB
  • Tags: CPython 3.8
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp38-cp38-manylinux1_i686.whl
Algorithm Hash digest
SHA256 d9a68d6112b62d3493c9304f6b3cf9178f4831d46b861ae59270ea0582669f90
MD5 a27fe183f114cb99225c10f4c7ac646c
BLAKE2b-256 ad5fe9e522bd08659e182de9fae3da91d91918ecdfd6eaf2af3d10e818c88bfe

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2020.2.2-cp38-cp38-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 3.8 MB
  • Tags: CPython 3.8, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/44.0.0 requests-toolbelt/0.9.1 tqdm/4.48.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 2a7ea6c7cef4fa329861a67d249ea44980de5a302d6691fba5eda75c11711dd8
MD5 79f7522b7b53c70564c68c986cab6807
BLAKE2b-256 e60bb9f1eb5d1504671a203bef5d580aa8cd4b76112b3565ff06c65c44d10e15

See more details on using hashes here.

File details

Details for the file islpy-2020.2.2-cp37-cp37m-manylinux1_x86_64.whl.

File metadata

  • Download URL: islpy-2020.2.2-cp37-cp37m-manylinux1_x86_64.whl
  • Upload date:
  • Size: 3.4 MB
  • Tags: CPython 3.7m
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 fd35e2b7c09dca2b416fc08053eaf0de2d030592254ce3fb6f5f1315b0036732
MD5 ed216905bbcc04fff50566e42029196a
BLAKE2b-256 6e31584e055b9f379edb79b5cfd1eee54a7c58894d677cc8df49676a60c8497d

See more details on using hashes here.

File details

Details for the file islpy-2020.2.2-cp37-cp37m-manylinux1_i686.whl.

File metadata

  • Download URL: islpy-2020.2.2-cp37-cp37m-manylinux1_i686.whl
  • Upload date:
  • Size: 3.4 MB
  • Tags: CPython 3.7m
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp37-cp37m-manylinux1_i686.whl
Algorithm Hash digest
SHA256 da2353cbedc71201266b697a7d1e5e646a2d1eea6d48fb8e359fa27313101d06
MD5 445e8c94a92a0ee3096e7dd13d964c9b
BLAKE2b-256 ddbba1d63a4487ba811b16db92d181212926752fa4de4527b38f34454be5aed0

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2020.2.2-cp37-cp37m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 3.8 MB
  • Tags: CPython 3.7m, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/44.0.0 requests-toolbelt/0.9.1 tqdm/4.48.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 5050bae35729efc981ea658422d52f346b2b20a5aef7544fa51461e8bd6de292
MD5 f0cb640ecaaa41a3251152255811ea53
BLAKE2b-256 bf8705f1a1152cc9f1a3ba4f8d96036fc2bd3b3b5d5838199cb8cf2b3855aad8

See more details on using hashes here.

File details

Details for the file islpy-2020.2.2-cp36-cp36m-manylinux1_x86_64.whl.

File metadata

  • Download URL: islpy-2020.2.2-cp36-cp36m-manylinux1_x86_64.whl
  • Upload date:
  • Size: 3.4 MB
  • Tags: CPython 3.6m
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 43104323c488f52d6c4fecfb1da58443d3ed466419b5f2f821a953a274cd5b95
MD5 c32c65464f389b0e5423a87a7be09ec1
BLAKE2b-256 afc51c1fdd6ae6a40ee692c45aab3cd7c3de836e291c0e2ba920beb4a9a7ce90

See more details on using hashes here.

File details

Details for the file islpy-2020.2.2-cp36-cp36m-manylinux1_i686.whl.

File metadata

  • Download URL: islpy-2020.2.2-cp36-cp36m-manylinux1_i686.whl
  • Upload date:
  • Size: 3.4 MB
  • Tags: CPython 3.6m
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp36-cp36m-manylinux1_i686.whl
Algorithm Hash digest
SHA256 ac339663902eeb7195b78fe6dd64d5cc6ac06fd38baecddb6d1b5bd07e6ca6f1
MD5 f156ec57d1f1f9426cd0535dffe5e19c
BLAKE2b-256 0bb9bc78b46ff5c8e08fa361093f87b74d9d34a0e4bb43bb35f0fc955124988a

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2020.2.2-cp36-cp36m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 3.8 MB
  • Tags: CPython 3.6m, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/44.0.0 requests-toolbelt/0.9.1 tqdm/4.48.2 CPython/3.8.6

File hashes

Hashes for islpy-2020.2.2-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 34adbdd9246cd6b2dc1bc111c8019aa3bdadc6699ae06403cf83c8be7fb3e4ef
MD5 170fc64ed2eb00863eb836d4db1e19df
BLAKE2b-256 19435f5f21e898dbc2df27207393ca8514d36bee1dfde9d3d7c7ffbf4072937b

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