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

Uploaded Source

Built Distributions

islpy-2024.1-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2024.1-pp310-pypy310_pp73-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded PyPy macOS 10.14+ x86-64

islpy-2024.1-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-2024.1-pp39-pypy39_pp73-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded PyPy macOS 10.14+ x86-64

islpy-2024.1-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-2024.1-pp38-pypy38_pp73-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded PyPy macOS 10.14+ x86-64

islpy-2024.1-cp312-cp312-musllinux_1_1_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.12 musllinux: musl 1.1+ x86-64

islpy-2024.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ x86-64

islpy-2024.1-cp312-cp312-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.12 macOS 11.0+ ARM64

islpy-2024.1-cp312-cp312-macosx_10_14_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.12 macOS 10.14+ x86-64

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

Uploaded CPython 3.11 musllinux: musl 1.1+ x86-64

islpy-2024.1-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-2024.1-cp311-cp311-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.11 macOS 11.0+ ARM64

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

Uploaded CPython 3.11 macOS 10.14+ x86-64

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

Uploaded CPython 3.10 musllinux: musl 1.1+ x86-64

islpy-2024.1-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-2024.1-cp310-cp310-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.10 macOS 11.0+ ARM64

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

Uploaded CPython 3.10 macOS 10.14+ x86-64

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

Uploaded CPython 3.9 musllinux: musl 1.1+ x86-64

islpy-2024.1-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-2024.1-cp39-cp39-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.9 macOS 11.0+ ARM64

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

Uploaded CPython 3.9 macOS 10.14+ x86-64

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

Uploaded CPython 3.8 musllinux: musl 1.1+ x86-64

islpy-2024.1-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-2024.1-cp38-cp38-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.8 macOS 11.0+ ARM64

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

File metadata

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

File hashes

Hashes for islpy-2024.1.tar.gz
Algorithm Hash digest
SHA256 46bd9fcaa1660cba52329cba1dcea5b53be8b44338b5c313f351685abdca1a0c
MD5 669f6a099b0098787bbba72af52d2cda
BLAKE2b-256 82f22a86c0b46c2c8edd749ae6138575f88b6b432aa2ff641b65339517795013

See more details on using hashes here.

File details

Details for the file islpy-2024.1-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 db05b4d38d0c45e3e02c7bca28b30800038e7ab9d877f396aa6f1b61bb35641b
MD5 37c0d156078987708df77dea5b90a252
BLAKE2b-256 4c34cf813e2fe8c56b5f40c514a2ede46e2307e431737e326e196da319ffa942

See more details on using hashes here.

File details

Details for the file islpy-2024.1-pp310-pypy310_pp73-macosx_10_14_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-pp310-pypy310_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 be73d23406a7ef0651b770d9ce51c8a88953372f59326513aa7a70815d59694d
MD5 5ffee7265364485900513d1b2bc38344
BLAKE2b-256 aba133c30c35a7184b2d491645db0a7ae090b9b0bafd6a1f995e3982ed9765ee

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 05731f4b9d54328c5773062d2814a13ec0afd15d5f20b46b1ee422a76bf2bda9
MD5 9a33045bb95eb359e22e21927a93615f
BLAKE2b-256 e1bb8d729f315a895f79771cfc5454aef910210e3cfebf958bcdf1d0a68d1c46

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-pp39-pypy39_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 643dd73ef9e36ae969a63709a00403ecaadff60a8451426cff3dc4dfc81383b5
MD5 e52d55d4a3500ecb309697cd7a2c8499
BLAKE2b-256 4060ec6d837946f542db0facc5e511c5ff2c1318437753267beda6841a0d3a16

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ae7f631541137b0b6a61ba939cfefd762a454f792e7196f1cb7a9053afdd5cbf
MD5 c608a13b28d604e8fdd0b8ad60f5d5c4
BLAKE2b-256 38ae5ec2155fcfb43ede9af01aa7eac23b44d2841b663172f5499aa5578c2ebe

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-pp38-pypy38_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 eb06c338b701be497586b79c6b47fe8ffdd783644e1b1a83441208f7d83a2f77
MD5 73b90104a8833b4f2a52105a9a17bc93
BLAKE2b-256 5476b98e7a8a26b81d65271f0835ef7b5ee8852c790e04c68747e70abef136ee

See more details on using hashes here.

File details

Details for the file islpy-2024.1-cp312-cp312-musllinux_1_1_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-cp312-cp312-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 7849d297a4c48cb43104dc86cd01a097f3c7ab71c613619b2ab921534dd46dd1
MD5 d4955ea46bddde417cddfc596646043c
BLAKE2b-256 50031de9e8c7eccfd3af41d6609e4ca6cd7bd357610d95ac872541baa868a642

See more details on using hashes here.

File details

Details for the file islpy-2024.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 9e8dfbbc0cd878e374e973df039852c2bd4729aa57e7a5750f6bc3168167b25f
MD5 4a78ec1bf489eb009a1558cc2d3177e3
BLAKE2b-256 a736fdf7578890e9283551bb72ec4232ca443a109796c7ecfd53f3a10db5ef2f

See more details on using hashes here.

File details

Details for the file islpy-2024.1-cp312-cp312-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 a0e1095e7f0a8872729cfcf26fde44c813c9848d3871c2bccd53216a2a273814
MD5 b65e3956bf73d572b9e5ad54c9f07802
BLAKE2b-256 181b8eae8d2873d5d089996970317b59c78b97288946ffc2900234a4d3675bcf

See more details on using hashes here.

File details

Details for the file islpy-2024.1-cp312-cp312-macosx_10_14_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-cp312-cp312-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 e7cb4294a3169147066a42ffb977ecffe1163a85d78946b1d476d23de7014ce5
MD5 5b25c161ea336ce29b8a7441dcad1dfc
BLAKE2b-256 b59dc628e8557c5ee533ddc91ffbe96563d75139179bcfd11347bf2ee2d1f164

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 5a7b6c944a6da753a2148d1cd6033fa5c048963887070fea577146b68561bf75
MD5 70e9b9ceea1030b0752aaf775ee48e2e
BLAKE2b-256 2ab14356b1db493d7fd11f35fb9ec43083e0cb3fe08a77c785a66afd62e885a9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 5ceb85d4e2144a2fed90fbf919ef5a23ef48472d42a4dd80b53af261edc19efe
MD5 46898e5a6d5b29cfff35e311abfc7106
BLAKE2b-256 850de94495d0b4ebd80dc0502f5912a93a90b5e944001490e8ae74a6fc538130

See more details on using hashes here.

File details

Details for the file islpy-2024.1-cp311-cp311-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 53f87791f299c56114df7a721391de7f627b4590899353ea8906e8ada12ec894
MD5 3ffd4e559079b3dcf3e2bd3dc3b5742d
BLAKE2b-256 036227cc49e04a9b5c0d4eb980c405cdf40388491e76aa77374fabc4182216ff

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp311-cp311-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 58a90a6dd2704b5a0f0192109b504dc25c745e058699830b2995b3a14898b1f3
MD5 b14aeed8cf82475b6c095eef46f66700
BLAKE2b-256 f1d2d5965daf1e79263f847035a5b2f3f40fe0772f4d685c816ef31a1dfc3ef3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 00696efb8dc8925f8dd9a323ffec8a0181bc04d61544061d9086299b68581c46
MD5 1c8e8d2fab65024a6aac5bcc2db6ed07
BLAKE2b-256 0fbc54ef93f03f84a5356dfc76d5caee4b08d488caae45a581a5a532b8432acb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d3a468ea745fb8c1e1465f356aee1756ee28d1937be62605f72983ae0cf2906e
MD5 5cd242e0de635c45042c4acfb31d1abb
BLAKE2b-256 7baff4557131bd37011e20b4b3dc166472fbf708ad79efad8aa0c144b3dd0a44

See more details on using hashes here.

File details

Details for the file islpy-2024.1-cp310-cp310-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 e79e20987580ad829b35fac311b4be5920fc18182033871f31952e268034b3e4
MD5 44fdb643c5585bca68e5ce0488683be7
BLAKE2b-256 27052a86fda2553863acfce8ce9717fd8ca1b1ec373cf3ecd69f7f386b361c34

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp310-cp310-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 7bb519b36208aabea54a4d4eb4592581714f4fac9f0ca1d9057ada061a5dc2a0
MD5 830edc8c47cefe15c8ba0138a42479f3
BLAKE2b-256 b754b70c38c40578152a8ef9532f32519d6e489fb000ff672ebfecffecb96a27

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 f68335292f621cc2402b4c5bdd97ed7a9ff24b1d5d8483c217dfde0adfbec700
MD5 ef49644755b2b1cb6428e5caa87c216a
BLAKE2b-256 7b705974bd6f4550d902875f157debdd4f92ca9f83e05684fcab35f21c1fa632

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 960c14a9173ea602338f1bd707dd447e52127efef99d43a9058e074d79541af4
MD5 729ffd64ffee8a096f2fbc8f123ea18b
BLAKE2b-256 8e79db961ebbd5f78c4c21148cb6c9c1b9f311e3cf7917991cdd090cea67a502

See more details on using hashes here.

File details

Details for the file islpy-2024.1-cp39-cp39-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ececc8a31b3d1fea0d9d89a10e383ea0fedec99221aa15c77e8d5cbe66b00c7c
MD5 6c8e8e872ccc7ed75f8248d59527a937
BLAKE2b-256 73892dd7e9d515b9689462e5db63c9920cd5bc8032ad88c04c4a1ee80edecdb0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp39-cp39-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 ccd57b4ddb978b280ca16645bc5ada6724288693b028dcbb727749e0b57a0bff
MD5 db223df8ce8057faaa1b480ec64abcf6
BLAKE2b-256 f78e21676d132eb260cd03895e5d4ea20aa95d0053893b572e2f9bd08a26785d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 c636824b7ad38c424201649a7c1def4f6aeeead33779472346718771c2f23ed8
MD5 1d09f385239e6fd49454d2c33c774815
BLAKE2b-256 56a89aa85ff3af9f2c0fb5095b303df985acf0d66c8ecc6475db2b29b8c96562

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ee63c3a95550150001c507e78918cf2cb11d5e43a5b5bb36975665a6c638f7a6
MD5 5934282532872a2d991bca4c8f2e18d4
BLAKE2b-256 2e046380625fc85527475cdae8d92d35296384a3a264ec82b53c18541a534281

See more details on using hashes here.

File details

Details for the file islpy-2024.1-cp38-cp38-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for islpy-2024.1-cp38-cp38-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 2f05fd3712005afb40855576ca011aec96050c5c6e3cf3ebf65c4a8327f99a3d
MD5 bf0b411a2799fd2c4290c8a3c45e6d26
BLAKE2b-256 d72c26b32613cabd3ccc49a7bc3b14e7e8e185794f902df124c6ff5f0dcb6df3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2024.1-cp38-cp38-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 62611462bf65d0976a2d1dd2e468e3a4f11f2efcb69ec144729b3c1b25df067b
MD5 3081662632a6f070a54aa4d071de4634
BLAKE2b-256 9d75e369bac4242fd81f07d8bf56423dd7053c499a168a27c28b410a601649b3

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