Skip to main content

Wrapper around isl, an integer set library

Project description

Gitlab Build Status Github Build Status Python Package Index Release Page Zenodo DOI for latest release

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

Uploaded Source

Built Distributions

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

File metadata

  • Download URL: islpy-2022.2.tar.gz
  • Upload date:
  • Size: 1.2 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.5

File hashes

Hashes for islpy-2022.2.tar.gz
Algorithm Hash digest
SHA256 6ba7e7141b7fff2ae44242e85419f1afb3a42531bb3c96a5cff085ee5871540f
MD5 57022cf69fe9316ef2423db764c03a27
BLAKE2b-256 2522f8fdea541bf10bdc49084082a3b0015de2a74cdda74b93ad429710a863d8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3ce038d96c965c85290c5977e7c887b1ec0b4c92681a50984373db22869cc6db
MD5 f35de323f72519b8f402f04115e6f606
BLAKE2b-256 71c8abe19ae6a6ac23ff2c2c75a45a1a8bba95a6589e528d8304b40f2c7cd21b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 66684a1be71132b369898ea0debca58dd89561c8819cfd9b5c035f904b345e2e
MD5 c663e2a7f6f6e65a2a5b2afadce8e5f2
BLAKE2b-256 4af15c6e52c07785399247c345a159f9214a21cd224e8ad21895f284d3178cf6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 e3ceb6bd7f86210800ab41bdc571fc81357aeb70ea0a18b4aa481363bfbca9d7
MD5 d9a5539a2cece73862477caf601a8ad2
BLAKE2b-256 9bcd9ad10b9d55439e72a68e01104390943bc84e1d9c0a923dbfef3a54d985ae

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 67e5a21680ba973316aca00ae336fde2782665cfbc706cee3b978db87157217f
MD5 8905a98509b4ffe94cd775bae0cbfdad
BLAKE2b-256 e0b713212d2d08def042b26898d60612da2600bee376f1a4d814b0f9c849b6ab

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 458a9d4377a7f497ebeca4125abcf2df8e9644e5ad50b68bef149527b5e59b5c
MD5 a5c86ff71d1c3f33a421224502f4e809
BLAKE2b-256 10b9e8fd129b86f8ac8070545b6e722065522780424ede05c5211d7973460b72

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 79111cad0c1921e1ef1614eb9e154a79e1e867bd2a8871e8fa25eae7a77dc40c
MD5 283801f494c08b5dc1d4c6d5f585247c
BLAKE2b-256 141ceee68fc889ab532cf493f605e812b8eb3689685d6e80e53844cbbd9d0c84

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 677aac497a93e8c59027509b6f6f416e983b7e6dc84d8e26fa042ba818b762f3
MD5 c88fde69de44d0da33123bb413c9c27e
BLAKE2b-256 7fd2812436fe299664fb5d754f7203f37ea2276f1a9d34105c781da6e03bc1d4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 8018c191b4f9ffb92213f726fbc72f81d8208be00275e161db3f897d196b286c
MD5 62a7edfc937e3112fc0a043fd628d8b0
BLAKE2b-256 d68edc8838ee9d7c5445e1417425e91be01641e31d9db455c9672202f6a443e6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 9c6d1a098c69b562af7d411b6b2f4708fe327bfa7a06a1e837cf413afe20f87b
MD5 8ddeab4f5f17de9bd65df94762f96b1d
BLAKE2b-256 e8bc68ddef5d76b654142271cd32bef50e768c73bb7ff1ef3aeceea8e0cf92d9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 54cf2cc9439049e43b82ee275eed1221942a696cf13168c3f1a4f018c1c69ce6
MD5 bcae03214cce3207911a9a83849edf90
BLAKE2b-256 5176d0d2290f28d27ab859c9149d952d3f36ba570ec5c1c2463ee470e85ed3d4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 aebe75102d700eac1900b56b9a65f26c11e5acb45c4448eccfd9d9326c85f20f
MD5 e8760f42921b9e02cc1632031b0d25a9
BLAKE2b-256 ccbe5139c1369ae3ad607444f7ada677e085d6efa2cf49b88e13d3b7b00291be

See more details on using hashes here.

File details

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

File metadata

  • Download URL: islpy-2022.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.3 readme-renderer/34.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.9 tqdm/4.64.0 importlib-metadata/4.8.3 keyring/23.4.1 rfc3986/1.5.0 colorama/0.4.5 CPython/3.6.8

File hashes

Hashes for islpy-2022.2-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 0a79046486408e7790e64a21e8d70d0c7e5d8dad25bf56cc1d4a7bd81a99220e
MD5 91f92fd2c6b3924a13f993ead4f4f032
BLAKE2b-256 f0bfc23d8e9782492f800f8a91fbb3da37275ef711d8d8209accc38922f3d38b

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