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

Uploaded Source

Built Distributions

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

Uploaded PyPy macOS 10.14+ x86-64

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

Uploaded PyPy macOS 10.14+ x86-64

islpy-2023.2.4-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.4-cp311-cp311-musllinux_1_1_i686.whl (2.8 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ i686

islpy-2023.2.4-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.4-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.4-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.4-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.4-cp310-cp310-musllinux_1_1_i686.whl (2.8 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ i686

islpy-2023.2.4-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.4-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.4-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.4-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.4-cp39-cp39-musllinux_1_1_i686.whl (2.8 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ i686

islpy-2023.2.4-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.4-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.4-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.4-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.4-cp38-cp38-musllinux_1_1_i686.whl (2.8 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ i686

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

File metadata

  • Download URL: islpy-2023.2.4.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.4.tar.gz
Algorithm Hash digest
SHA256 a4b0edf6d215e9712216c082b5b491128ae190e45a3e5594536b129178dd7494
MD5 5bce1618be1b4c50517c855f778a7fc4
BLAKE2b-256 bb15e8c15800654ce01ccca408dd2ad26094645b6cf67d362adc041151ec5702

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d118a656f000ad395b9a2c0c830fdaa68b7949f5e54e9a6e2810318ad9b9b3ed
MD5 4f6672d8920e8fc6acca0f6d9330bc2d
BLAKE2b-256 1a7e6036d9404a9d8c293bcb922b09025fc9570ec82ca807ad43061e16ae41dd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 45eaa447bab6985c8a9ba610f78d771a2d6119092be9647aaad7828ae0f75aba
MD5 f30fcc32c7ccb23978d1cf3ca7823e55
BLAKE2b-256 5a1c541b6c5057a062b3d43f48aa226c0e05599e7ab977426913d0a4c6f6b02a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-pp39-pypy39_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 d50b649939e5053fa293d00aefdba7d654a0f782058843c5a1fb6497aa11ce8d
MD5 b89deeeca02a66dd4a8265be57d369f4
BLAKE2b-256 61679fb2b486bdf50c39dc9d4209562f2a93446991f18c0a661275e96016358f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 84b9ca95bad62f4cdff57c741e60481074d06b8b903386f2a25eabbbf55c0e48
MD5 80cb8a283cb90608e15febf5612b6ea0
BLAKE2b-256 4921c43e037bc3ff96dbbd62f0153539cf8f9695f47e96bafaddcf67a020db4e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 e1c9c2786991ce35fc89953335f06cb1d83bcca87bbf4dd5c3d03a17e8a9e24c
MD5 1f2d77e024facccb1706bddeb4845507
BLAKE2b-256 aef126e6803c1ad30c09d5b2a46ee2940cb8bd2d264b755aa40e28a437614feb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-pp38-pypy38_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 48de3459e9c859aeec7e23e4b9b47b3dfb43dd4990a8bd17c97905b16e65f00a
MD5 7748df75208fe93ea1b47ba4df0ddc92
BLAKE2b-256 2e55ab73518464268d40d0211b16706d9f685df32e7fee5c342c1729b92586c2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 637c8fce786fa73448833dc26b9839c26822ee9de6f21aafdba41f8839122d54
MD5 588d59a890f14daa045df69d13b34da6
BLAKE2b-256 676b68a91cbfaf2f67f7f3d1c706034b5691f5aa41fae1bb97ce283a60ad9aa0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp311-cp311-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 d3f04321c28529c80a9aed023428a797e80983bc980911be5e6ca2b5114ac196
MD5 0770687fdbdaf189e2820f4bcbf5b42f
BLAKE2b-256 58308f3ae56e9f26f5fa323a35bf4cf20c07985610b029aa073a63bcbf25eb4e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 1a35ad55065a495f5f8bbc5ad7f21a69a9337a62facca45380707486a50710fb
MD5 196786568b39a583c1201d3ca0a5f27e
BLAKE2b-256 ad7e33a167854b8327dceefd62e74508fcb6ae04a934088799cb95ecec780141

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 fe95e88e1e4a5bd84e282bf44652d79dffd00b65a9e3ddca5ca273ac16fc5f25
MD5 7105ca326b4ff6ab7958868b8e6b1417
BLAKE2b-256 1bdf64932b50c31ee9e470d543dff9032fcc763d00e9dbf79abb5ed9220a1410

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp311-cp311-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 ccbe8a521d8760181241f238f8e9f8a609d8ab65632da8f6cf42d29138170cb8
MD5 4ff97ac5ae5875820a135dc0d339caa4
BLAKE2b-256 2c44b080f390caccbfaa25a7b534a90e72f6222e453df3efe8ef133b76657da0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 d3dc6e1577aac76b3c34a5dc60029b38bb302d5265babd48c781768105dedf6c
MD5 06a6d0a54751edbfbfd357775a52f829
BLAKE2b-256 a6b44601ae1c1744d501b38f8527a43ac8ce168ddb1b9d2dca4cb077457245ca

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp310-cp310-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 5739f3dab402dcb6d2a7de1c7d7af452b97861a520b0ea9e7ba839906e5dcbc5
MD5 bf1a2ff7952e738054bcc276cc2f841c
BLAKE2b-256 0561b754f5bbafed324df54bff3dbb88a847afe5a6865f3f42ff4a8770ca11f9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 bd687876cece4e776c585fa90c0274967ea0f15bdf6937132d340bd6aa447606
MD5 53cff527359fa89742acd8015a13d09c
BLAKE2b-256 506491c1d8876f84a86ba732d379133198d9d7b83b4d5849fab65bb30dc2723f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 9a9336cdc9ca2f916bde0089a02d0448b32c40dfffaccd88d729976006c96520
MD5 890811e62a4c033a01f23bb3c24c17a7
BLAKE2b-256 d24607db351c4c2a9644e2241c815b510739aaa92c5b240ee4208dcc062fb675

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp310-cp310-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 24f4521e27c367685d1b2d3f1cb4c537ba4f4bfc0eea3ff83305ea001024e3f1
MD5 ce56301f92647f31c2747f0fadb60493
BLAKE2b-256 44d36d8d52f8590f8540f0af957519f4d881dcf896d4c8aa5962ab148435cbb2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 920e23a6b926c0db60749c0fd979914c480aee539d072ad67fcdceb30f06475a
MD5 f757157834397097954160ea96ef2b9e
BLAKE2b-256 abef00940335585da7e8588e00beb87139fee1b9689862a5c1a865a8bde968eb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp39-cp39-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 3f2d476b36158e6f469e5f29951102f1e239119f25d8774a38866005aebfdc09
MD5 7e2cd439b78dfdb7bf1ee547c4faf1ae
BLAKE2b-256 6e4188b9417d902023ea4d2d7bf42b9db468fb5b71bbf79a574f2b6e35d5592b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 9e5cf08e9387d3e925a3e16e5972b40496774d8495bc1a0e6f98540c356e2bfd
MD5 762a6b64b2df9fba5c5a33345e1527f0
BLAKE2b-256 444bcd5f30915dbdc38b35f39392d1dcef065cbed65905611d06c541185bdec7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 eb30ffff31a5ec1752359e77441fb272b82beddc163c764ad4940a9e862404ba
MD5 de2596a7c7aaf010062df92848084a32
BLAKE2b-256 f94c34c2020ce9d062d34f8ed2f2b232514c6336d5ae86dfd0ab3a2c8b7a09f6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp39-cp39-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 a3f3093ae6e0f9433b1759962e343a79d3052373a84bd3b584c03b39e792b7b1
MD5 abd2c7fc7dc0518860c869bcdbbc68c0
BLAKE2b-256 20d3d74371b4a897364077b9998a0486a8ffcba76ee5f30c471591e2cad63e0d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 95e286a2f25efdf3ea41f56bd873b8b33448713799adce8a05abaec5de57f65f
MD5 52403366308844bf66dafa6b419aef9f
BLAKE2b-256 5cbc98a3b78e97d7ecd04a33dd78623d1b86d2f6744b284257b518eeb4bf57bb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp38-cp38-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 baabd70ba2c5484fa0662c5e2f18224d56190c02575b016d8281f47061f1a3a6
MD5 b7e06d842becb6285a70482dfd27c417
BLAKE2b-256 3fb169f16c9b3094d1f1d92d9de45463d5c7a3dec1a528d68f8a8f61220dde86

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 372ceed2b2172fbb337f72aa7195492b06946acba66674520925c0e3de230abb
MD5 b0e2f628dfc5c10f4ea2757103e6bfa7
BLAKE2b-256 1c5df6040f78009695bf9035e54bfb3bd469bb9c85e5ff3b76e103f157da52e0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 5f221ccb9492e0a86f4deb9ce6d10df92b0ce04443e81d0ed0adfd05172b42ed
MD5 97d6a93ddbc84919c93f0001e0f97400
BLAKE2b-256 30bcedc7065b50412da37c819258cb4ff7eb64f70979f23571ff5b6d6323498b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.4-cp38-cp38-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 a18f1e08787da175684dde3d5d09f3dc3fae2cc0e832b562daddef90b1c5d893
MD5 202de9c400cebb87c3b2564e05be06f4
BLAKE2b-256 eeb45dcbc4c54b6bad9fdb61846784e2d223f9265aad42cbb0b9c06f1e025a41

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