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

Uploaded Source

Built Distributions

islpy-2023.1.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (3.7 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.1.2-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (3.7 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ i686

islpy-2023.1.2-pp39-pypy39_pp73-macosx_10_9_x86_64.whl (3.5 MB view details)

Uploaded PyPy macOS 10.9+ x86-64

islpy-2023.1.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (3.7 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.1.2-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (3.7 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ i686

islpy-2023.1.2-pp38-pypy38_pp73-macosx_10_9_x86_64.whl (3.5 MB view details)

Uploaded PyPy macOS 10.9+ x86-64

islpy-2023.1.2-cp311-cp311-musllinux_1_1_x86_64.whl (48.6 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ x86-64

islpy-2023.1.2-cp311-cp311-musllinux_1_1_i686.whl (46.0 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ i686

islpy-2023.1.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (49.1 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64

islpy-2023.1.2-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (45.9 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ i686

islpy-2023.1.2-cp311-cp311-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded CPython 3.11 macOS 10.9+ x86-64

islpy-2023.1.2-cp310-cp310-musllinux_1_1_x86_64.whl (48.5 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ x86-64

islpy-2023.1.2-cp310-cp310-musllinux_1_1_i686.whl (45.9 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ i686

islpy-2023.1.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (49.0 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64

islpy-2023.1.2-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (45.8 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ i686

islpy-2023.1.2-cp310-cp310-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded CPython 3.10 macOS 10.9+ x86-64

islpy-2023.1.2-cp39-cp39-musllinux_1_1_x86_64.whl (48.5 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ x86-64

islpy-2023.1.2-cp39-cp39-musllinux_1_1_i686.whl (45.9 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ i686

islpy-2023.1.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (49.0 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

islpy-2023.1.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (45.8 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ i686

islpy-2023.1.2-cp39-cp39-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded CPython 3.9 macOS 10.9+ x86-64

islpy-2023.1.2-cp38-cp38-musllinux_1_1_x86_64.whl (48.9 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ x86-64

islpy-2023.1.2-cp38-cp38-musllinux_1_1_i686.whl (46.3 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ i686

islpy-2023.1.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (49.3 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ x86-64

islpy-2023.1.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl (46.1 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ i686

islpy-2023.1.2-cp38-cp38-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded CPython 3.8 macOS 10.9+ x86-64

File details

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

File metadata

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

File hashes

Hashes for islpy-2023.1.2.tar.gz
Algorithm Hash digest
SHA256 36c348d4df59b8d616af58b7765ee149a4cfde376c4d8b08a6817df2fad91bd6
MD5 c4ac3f8e5cc4d741af790b73c52d12e7
BLAKE2b-256 e0e52914749e7b2f519eef7633c977de25d50fa29e4c9796f0068d87821e520c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 6b8b980eee0f23274467dd46cbb5f0fd6e4fc9e36c6c21712cce314a891feb65
MD5 02d6b499a8f50cb08083e1bc93b71bcb
BLAKE2b-256 09fbb2bd132495a49b12032260d182e952f1954c88f18db5c8aac61f65fb09de

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 33d2a82478c8a6bc07da49ea20b280c58f4b46d6374040456c552eb11c807aee
MD5 bda77a0a974bcbc40224162db8cc2ab0
BLAKE2b-256 e38e1c0658c2dcee2f27a6cb4a4d90efdd5e47726ce85faa449b417f66a08a90

See more details on using hashes here.

File details

Details for the file islpy-2023.1.2-pp39-pypy39_pp73-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.1.2-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 b805eb4db021a07fbf7f53ea2c7813a4f9f668e367d99a3ebcbbfa13efc95011
MD5 d8c663b2a4906f541d51a4b0430ff5ff
BLAKE2b-256 9277e8bf437d860efa48afb6ef1aed4b97fc3e424b089f39667472f52b192ded

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ad4e0078c97c0017a9f5a582e8433551f9245a5c21e740fe28583fc2b46f8a65
MD5 bf7a84173229151d9115d69cefcb3e7d
BLAKE2b-256 7596ae9b2fb966c92f8b16e66b59ae46b46f25c1570d044978b397682953c06a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 66e5d9a4d42f80531c80735f885e14701d735cd22ad6710ab0c61da86494363e
MD5 972e48266bf89b7abfadfdc67f21a8ea
BLAKE2b-256 055efc10f8be65b559c932a336dba35bce7150a052eea245d297b61092930e55

See more details on using hashes here.

File details

Details for the file islpy-2023.1.2-pp38-pypy38_pp73-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.1.2-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 dccf3b5100e58611cde03706bcdda9245f7befa0c3b85d5ad5fb4d2f86bb3f6f
MD5 577d9587b5ad4245322321a803170a90
BLAKE2b-256 08debe23a03d794963c07e006881bc125b9526956a2a5ad94f5cd8e81a5daafa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 14a31cba542874f409ba5ad302da491a972c77c421e9c01dd3ba0611e647c24b
MD5 8789f33c82c6795a786d7855d8d340de
BLAKE2b-256 95875883b2c86c8c8cbc12459ffd41d0d473e46c8d6f0e2f60b967e428a9b0ff

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp311-cp311-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 32186591cf2b19b9392db6ac55433a0f79448f7c219c267b6ce7a19a97c86166
MD5 87e419e58069746effbc6d96234db0f8
BLAKE2b-256 b32300e8c20073d6e2458a763e9ca99cd9634894916ef9a5a5f32b50358661d9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 79a6d455c08bb18bcfb66c3b74c8bf976eeb3ce1bf68ece1a51056af0f68515d
MD5 28137286365a4ffba7d68a0e8ac7028a
BLAKE2b-256 2f47f80308216d50d5b317e035a7eb935247021a06de62abb36c49e162d3aa9d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 e6e62beb36254beed3c2221c8801dc91d5e54724338e2d0d30260dce169627be
MD5 f63d64f518209e6a75205a74feb7426e
BLAKE2b-256 ed85609832a1b4e9d0db889da1e699acf9c96a18e98f79a84d65c77d3d995fa1

See more details on using hashes here.

File details

Details for the file islpy-2023.1.2-cp311-cp311-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.1.2-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 edc58b9ecba49b1d2d1decdea974fc2a4fdf94208a32637250027cd07fb5735b
MD5 c6703a4d7bd049c29c26b749984d748e
BLAKE2b-256 09110cbb306e5483ea3a331897cec901a24af9b60a82e51818224ac31729f192

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 1fc73a97aac40e49ee03b05ed317c88098d0a77340b336d80222d15faccd78e3
MD5 6d6b31f350d7e2ba99b71f92d3af2ced
BLAKE2b-256 c3a5cd967f1c51efdd403012f30427d3942d3f5b17503206e547a66e855f5489

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp310-cp310-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 826ace033430a9a2208066a4794bb1a89e43313b3f06189a75128466ec8bb57d
MD5 f74f24ee3691d3ac03e7ae9c6ccd0f6a
BLAKE2b-256 e90f32e7cee25a7d625bbdd9a3bbab3751d32b814c3240dceb257c51df97a413

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d3f0bc035a32cfd0af1a5dd78ef20f6311fdb76080e83b7d69ad3db36e273741
MD5 db8784328db03ecc407fc34098bf09f4
BLAKE2b-256 baae9e8df91080e843ed524e7883262742a36762d6926f3155254b071197a257

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 b1e281c1fb307ab98964fad15c956c7550fdbade1d03b3a81e1de77cd987cde9
MD5 315dec05f8f894ca4742624f106c574b
BLAKE2b-256 76e09791dbab698e2e3470c3807a46cac1a5b225f66c5bd1fd97cf89ac4bfcec

See more details on using hashes here.

File details

Details for the file islpy-2023.1.2-cp310-cp310-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2023.1.2-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 33db90c1a742fbf1e250633e143e498bfc948b9662488b941db04bdf385caab7
MD5 b90a157a4366adffd458011c415b8096
BLAKE2b-256 a41c665159796846aaa2bda0b41a22e37149875a519ed7c71f0049460922ce52

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 308aa868b33fc23e393f0c0e2a3773b111b7948ad3e72f2c924a5e77db0c928a
MD5 efaae6e074995650f1606b67164c6c55
BLAKE2b-256 e9fb799be1b96127d4526f12875fa6544ee63148efd48681b8b7c2ff96a66978

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp39-cp39-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 812952565ca79b1c3792f435ee57341b6dceb93714df3f0a3d4ba82c3b1fddb9
MD5 efd83c1f5c605f3c22bf51bb66129f7f
BLAKE2b-256 c745d197996235fe75532d30132750daf337a31d1019e8dbbad6bcd85ae8d1c8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c8d7cf5dd75f523d7f74fd58733a0c67da783e09c6e1042117ef785dc2b3c485
MD5 e283d44fbf553eecc28ed8db0aa704de
BLAKE2b-256 4b6005886f9e46c4ffbc7f237e19a6ba2164322ecf48eaa6133451b710b6c253

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 151fbeb650bc4f37b0881d2429636a5d0fbb8c57fb85fca2ee7a9609727de734
MD5 472957f01c54ead519e18952a9fce32b
BLAKE2b-256 42dd09a59094d13bbe1fbe8575f2b2eb1fdff51efdcd25dc01483e5cba3334e2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 df2068ead26587ea2fa38d2a02b4155a34ca6c457fdbd5aa3d53e8459a1087ae
MD5 6b2cfa22aca84ff3a88f21118cecfbb1
BLAKE2b-256 9e8fbc63ef8044f99e500516b676ab38d45f0d30c3207a9d621146a419bbc9ce

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 1b341b0f070adab50f649157707c7aad176e9a0f328ac93114dbe904f27b263f
MD5 81e8b16cd26572a0dbe5fcf4aa6ba4d7
BLAKE2b-256 afd20ebc213b99693dd7ecdbbd361e4d99be47c50e33c0b29e2a0dd3b67affb9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp38-cp38-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 a0239c3e6db4e3f8741711b4c02f477dd8a816ad441048d72bcb33e3af072ba4
MD5 54310c9e93f264884369b805b1c277a0
BLAKE2b-256 c94e7dda18463592a612f84aee1686b3cbfe0a18afe24ac683da76c12d534aa7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 171ab22c519020189629da029e99f032c72b3ae8456f8c2b59bc997e22b6efb5
MD5 6fd72eb90b648997a5f55797c0add71a
BLAKE2b-256 276a5e12340583318d91aac533461f25d1cf347087c3476f6269ed7d45a5c910

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 58a0f635e07c595d1b7b3b03bf11b32b4c5d3c3fbc165474c705e5804da93ad0
MD5 8437b870118c16a92407367b14009028
BLAKE2b-256 907e89eb7a02c3a159509ba6dcc5378ec6f860128c89b34693a577f8b82317f5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1.2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 42fa8c47f491777d64f99075310bece4f7e99c2c99a79cb87fb9068ec610c835
MD5 3258b7f8326995b31e8f82b6bcda127c
BLAKE2b-256 3e52158f696b5a38ce3c0de864106706dced58bd8f72d3f1b21690d761551571

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