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

Uploaded Source

Built Distributions

islpy-2023.2.3-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.2.3-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (2.7 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ i686

islpy-2023.2.3-pp39-pypy39_pp73-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded PyPy macOS 10.14+ x86-64

islpy-2023.2.3-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.2.3-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (2.7 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ i686

islpy-2023.2.3-pp38-pypy38_pp73-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded PyPy macOS 10.14+ x86-64

islpy-2023.2.3-cp311-cp311-musllinux_1_1_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ x86-64

islpy-2023.2.3-cp311-cp311-musllinux_1_1_i686.whl (2.8 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ i686

islpy-2023.2.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64

islpy-2023.2.3-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (2.7 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ i686

islpy-2023.2.3-cp311-cp311-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.11 macOS 10.14+ x86-64

islpy-2023.2.3-cp310-cp310-musllinux_1_1_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ x86-64

islpy-2023.2.3-cp310-cp310-musllinux_1_1_i686.whl (2.8 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ i686

islpy-2023.2.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64

islpy-2023.2.3-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (2.7 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ i686

islpy-2023.2.3-cp310-cp310-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.10 macOS 10.14+ x86-64

islpy-2023.2.3-cp39-cp39-musllinux_1_1_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ x86-64

islpy-2023.2.3-cp39-cp39-musllinux_1_1_i686.whl (2.8 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ i686

islpy-2023.2.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

islpy-2023.2.3-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (2.7 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ i686

islpy-2023.2.3-cp39-cp39-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.9 macOS 10.14+ x86-64

islpy-2023.2.3-cp38-cp38-musllinux_1_1_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ x86-64

islpy-2023.2.3-cp38-cp38-musllinux_1_1_i686.whl (2.8 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ i686

islpy-2023.2.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ x86-64

islpy-2023.2.3-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl (2.7 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ i686

islpy-2023.2.3-cp38-cp38-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.8 macOS 10.14+ x86-64

File details

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

File metadata

  • Download URL: islpy-2023.2.3.tar.gz
  • Upload date:
  • Size: 1.1 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.9.18

File hashes

Hashes for islpy-2023.2.3.tar.gz
Algorithm Hash digest
SHA256 910805a098a4ea15962ec5fee0b61cb2b9e5d97a7cdda4126d13e08697f3d56f
MD5 7a46d894e3c99bc32cb543ad3c72b2d9
BLAKE2b-256 3dc8551b9da14309d4305f86cef5cf2bf8cf7d90b9bbe90473ff28df511a74a1

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 7ee98a1aabfc331f3b8cf2229a0499efcf24647b7867ba03032d1b286e6bce42
MD5 01f700528365b60264214a7eaf538584
BLAKE2b-256 5be6bc7beb75e213e570898a93e99b56a2c9c800778f3027a25a2d6438349b7d

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 cef72345c65282a4e1e09944038e023c331a1d77b63802bbf5029750f07c5739
MD5 efc97631bd60b3114347907daabf9714
BLAKE2b-256 64df17bd3fec1ff33c28f1baca393f9f2868ffc831c581614e99d6051f77a775

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-pp39-pypy39_pp73-macosx_10_14_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-pp39-pypy39_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 bfade48bb12cf33efb77538c827100bacb3d1380387f56f6824ab0bdf7ebfd23
MD5 12bb9ec6305d82835d78828e2210ef78
BLAKE2b-256 639e8f4f2c76390c7604877c308480f7b904465d58677fceca71595eb779f85a

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ea07f8d0f674e327e76d1beea433f787b9c2a4ba2ee81305333fb17c24c66bc0
MD5 db099ac7638d22a6ef4592fba2471087
BLAKE2b-256 ac309f64a048b55469d2427393cc84d1df2cbe1a965439a6b7a805432b05f25f

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 9622b2258116fdfe329c21e320ab4a423c4730629f04d8a105770d4e269aab93
MD5 67ffc9e4e7edc8dd7966c06a3a36d55b
BLAKE2b-256 8694df1d367355c92f34f27499b586f217a19dafbb043dca43c491008aca934f

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-pp38-pypy38_pp73-macosx_10_14_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-pp38-pypy38_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 8eccf8b42f47cc5e12761fe273e8c40597edf7dae2b856d7f5939720e5a17a5d
MD5 f9a0db7073e12e39e7a9a8ba77c3a511
BLAKE2b-256 6dface3e45c167326c84cd318bc75490a087cd2ce671ba9a55d5806dd164899c

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp311-cp311-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 7c5591ecd7e7cfd13fc90fa7d58aec42e4e7b70b2ee9e2f2b8a137b5cd0207ee
MD5 e943179f3320c37ba49d3e55097c51aa
BLAKE2b-256 69843e38773598d8c1ed017eb960f28b012c34b2e3d959887e03ecd655aab36f

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp311-cp311-musllinux_1_1_i686.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp311-cp311-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 c24cfd09e9246b268d812b3692bd1e409af2ec74b10e9c2418bd3ea427a9efef
MD5 fb92275d524516cbbc7eeebbffff553e
BLAKE2b-256 7064cc4f906314343c7d4e980baa3d59de14233a787c8b36ae5cc468abd76ffd

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 9b8d02ab102a3ab5fd3786729323c5f4d9dcdae84e0db14f07935050373ddbf9
MD5 ffc97e194c9630dae75d25a95cef5faf
BLAKE2b-256 fd8c5740ea281aae9803ead4eb94e35b2bb80f7981929cb4a299146bcb4e8962

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 43be8d93f077c533083f8c1f465c98cd5bb01f26e12b5e5f02b5e20e680d681d
MD5 40a115528ac3414d4e46f6f41a67c0f0
BLAKE2b-256 cd0e17c9595a63511ba6c78df1eeaf938bd8dac16161646e4c02042e15cad55a

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp311-cp311-macosx_10_14_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp311-cp311-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 b11fb86de2bf402b62fe038ba56c99ab085508fb4421f489aa7eb2b9cfb42d38
MD5 e356320e33e902308548033f0626baf1
BLAKE2b-256 9c74a68ff7485cfbf8dfb10ef73341eb3877d7617c8345fa3faf05194d26188d

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp310-cp310-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 08ce8c10490c1ee574161a3d1caf06ab8b4768064acf84ca79165e6460627bc3
MD5 a695e8cd6a6627ba0202368617109de8
BLAKE2b-256 b664942e7ad8e2f8d818e701146cc1680f6a52c742ff4afc438a74fa11982bdd

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp310-cp310-musllinux_1_1_i686.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp310-cp310-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 2883cfe415d3429c1d2164f194c17f46a00d59fe5bf1ee9e4969212145a26d31
MD5 0c9b4e036b6229d052ba118904f966d3
BLAKE2b-256 add5d56257a09d0c9387ea3731a2f1338341f0729797e079dbf2906e55d29558

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 59d79476c86eb03e916074d3c101dd1fc19e0f3ca18878d5bd9a9ff97919b2e7
MD5 c64e86e4e95e824a3652ca13bb8ff068
BLAKE2b-256 13d7c1cf69413d395c780f694da90ae2bec44ce3f8ed9c972d54b4bab2ee88cc

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 bc30cfdbc576942524ab91d42caf0146fddd2902574e1f85467a224f1df23ed3
MD5 5d794fb5475ddde7f98ac53dd3b170e7
BLAKE2b-256 4bd5f39a58984e24f9c449fb0858f1f43a0473b800ca356e8a2be92d0c2d1ac7

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp310-cp310-macosx_10_14_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp310-cp310-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 aa9e9391e4fd299b57f1c6e767174d1caf37534d972aea317655929e8b6c8a16
MD5 627fd66f4a70115bb53f908d64b515ec
BLAKE2b-256 9568ad7504386682fb81824a435c31f9ffc910ed30185526069056989b4c4135

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp39-cp39-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 c17824333c1b39863c9065aa05f2d3cc3dd1922bc64ff290076afef81acc028f
MD5 18c6a7d6819beeb699dd1c556f57381b
BLAKE2b-256 cf99af560a564942868e15100ade5b339f53c245a8c04cc1628dbed0daa216f8

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp39-cp39-musllinux_1_1_i686.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp39-cp39-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 b242c95a4ba4f3f2d4e92a9ad842b868d9885bb2e7aa49b0bad9a1bc1c530d21
MD5 aba2e50339d8270820ba72b66bba5e02
BLAKE2b-256 50f2009773409d76974f80164cd08f955defb3f2852d3add0c85c447a4273d6f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 aaabc439f1d495e3770ba01bf4a19e5395107e00110dac62bbba8f31c68363ba
MD5 e982fff1e52dc1e180e6278adf7b4346
BLAKE2b-256 f99274d31f4da4f4aeac27f8588b095748ed38696fc058dd905ece67bf3d0933

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.3-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 cbd3c28a60b092b760295286da16d832e90584e12b9a90a80b26623cef870d30
MD5 e285d99858d0beaf72234ce3fddd9952
BLAKE2b-256 00a29ac8787391066d4200aacaf2fa818b8ed849ffb4080c5c94e6b95b749ec1

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp39-cp39-macosx_10_14_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp39-cp39-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 11c06a29bd57988c55091b51e954e50bd6093acfdb22fd0a54060b147d8e9df6
MD5 73846a0dc6b6a996bf3a2107bc347c06
BLAKE2b-256 751607c86df3361b4e44054c28d144e9b81f03f8d317d93adfaf450e4d32833a

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp38-cp38-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 008b8986fd55922114d97ae527c6b21a34894d1da592b392d749a515a8f41c5f
MD5 851103b71076c76f47ae22d92b375b1e
BLAKE2b-256 f5b845ad3096fabfd43381110167dc0fdd206ae10ad58c27cc839f6306d272c1

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp38-cp38-musllinux_1_1_i686.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp38-cp38-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 3bea5fab2d46ea684300b9a5916e3e4da0fa3d173f9def78eb35257748c8e281
MD5 52c44092579e42da5b61f5f9811d2f99
BLAKE2b-256 5c94818354e3105ac8850fdc5c94a8053d18a0213089f90671f3621c22f56409

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 953d2a1358c230b8165d14ad7938d5b3aaacba5601ddb7b4e99cceb332a63bfd
MD5 be8b8a52f5d612260ccb151125c0a31d
BLAKE2b-256 0b7f23f105b79dc2ce771e0488d480703fdfd2909e77e27e3827451b0a13fca5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.3-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 648364e4a30eef2324afa8bd10b0829e8375319bdf76e6b9316e0c61ad5c8dd7
MD5 c9b284c08ad9cbddec08458b246a0c93
BLAKE2b-256 0ecdfdd8f33d226fe9b5581438435cad7383bbf407f0dd7196b2f2852e2217c2

See more details on using hashes here.

File details

Details for the file islpy-2023.2.3-cp38-cp38-macosx_10_14_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.2.3-cp38-cp38-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 1b408b9e7d7469734a2767d818296143a8cd3cd3083726eb7bacc395e1caf2e8
MD5 6f4a5aaeda5593b318fa1ad73de05391
BLAKE2b-256 629306598b7dfd2059c3933256b973e5cd6909850f50a92d6c78affdf93ab2d6

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