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

Uploaded Source

Built Distributions

islpy-2023.1-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.5 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.1-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (5.9 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ i686

islpy-2023.1-pp39-pypy39_pp73-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded PyPy macOS 10.9+ x86-64

islpy-2023.1-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.5 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.1-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (5.9 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ i686

islpy-2023.1-pp38-pypy38_pp73-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded PyPy macOS 10.9+ x86-64

islpy-2023.1-cp311-cp311-musllinux_1_1_x86_64.whl (11.7 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ x86-64

islpy-2023.1-cp311-cp311-musllinux_1_1_i686.whl (11.6 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ i686

islpy-2023.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (11.3 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64

islpy-2023.1-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (11.0 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ i686

islpy-2023.1-cp311-cp311-macosx_10_9_x86_64.whl (4.5 MB view details)

Uploaded CPython 3.11 macOS 10.9+ x86-64

islpy-2023.1-cp310-cp310-musllinux_1_1_x86_64.whl (11.7 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ x86-64

islpy-2023.1-cp310-cp310-musllinux_1_1_i686.whl (11.6 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ i686

islpy-2023.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (11.3 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64

islpy-2023.1-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (11.0 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ i686

islpy-2023.1-cp310-cp310-macosx_10_9_x86_64.whl (4.5 MB view details)

Uploaded CPython 3.10 macOS 10.9+ x86-64

islpy-2023.1-cp39-cp39-musllinux_1_1_x86_64.whl (11.7 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ x86-64

islpy-2023.1-cp39-cp39-musllinux_1_1_i686.whl (11.6 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ i686

islpy-2023.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (11.3 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

islpy-2023.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (11.0 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ i686

islpy-2023.1-cp39-cp39-macosx_10_9_x86_64.whl (4.5 MB view details)

Uploaded CPython 3.9 macOS 10.9+ x86-64

islpy-2023.1-cp38-cp38-musllinux_1_1_x86_64.whl (11.7 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ x86-64

islpy-2023.1-cp38-cp38-musllinux_1_1_i686.whl (11.6 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ i686

islpy-2023.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (11.3 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ x86-64

islpy-2023.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl (11.0 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ i686

islpy-2023.1-cp38-cp38-macosx_10_9_x86_64.whl (4.5 MB view details)

Uploaded CPython 3.8 macOS 10.9+ x86-64

File details

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

File metadata

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

File hashes

Hashes for islpy-2023.1.tar.gz
Algorithm Hash digest
SHA256 40b92908117de4e04eccfac15e6973ca114c7ead5bb36f92ffc6799f8a0c7a48
MD5 f240d1118b62c01fba87404bd02f8871
BLAKE2b-256 627e1728e19e8b5913938a54fc3ebec0dbd43e2e8a5279bdb2a33a6461dad569

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e3ee7337d9715a64ae4fa8bb89eae21d813bd696021a92cc8a70d0be5854f223
MD5 2b64c81858f42ca02c819b02aeb3b711
BLAKE2b-256 b7b4126eb2e9b622a6444c07669ef688a6cb281db98f4b754615e021a0a167f6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 ea584bcdd72cdc5b9197c3e1afcac399270d7016413ac94c266e15ac1b34aef8
MD5 ca937868406eb1e0e1a245b2da0e3660
BLAKE2b-256 64066e03c54d10cf37b0fdf57acb223ea8a25594bd71bccb401a7867d3d1e1c0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 a92b838acc9615d37249d1061f56c593450392f19162ee33cf4df19db9de98a2
MD5 4b0c86f90499e1e5984d4dc96b7b0e67
BLAKE2b-256 cfdac5402b7043b8165e85115fe4100e0157398147b1bfe7fd3415d622feceea

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e347946c30424e5aa7ca3caf2c55fe0653a61e9bf39144be797de28f3ec4aef8
MD5 05da8e1c954412a7e571dea54c3fd5be
BLAKE2b-256 5a7b2a9c7d0a09fe859c4e0932200feef6a1ab1237d44b0e7f8441676cfcfd8a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 4a0d68f4e27740f902c9e87e56f1fa3efd2fd6f824fe56f4f1c22e3004f475a4
MD5 3e65364d1cecae1ade6f6cd087e83e1d
BLAKE2b-256 485be3cbc2d00d2a53824e88f8136f5c5f090e1b201060acac444f46e0171866

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 51803803f8f320b9d48cc92d03b3ddb9272b253f650a31b44bf2e3771e2f2519
MD5 2e05c17a1a85f988fd3fb45e6184db31
BLAKE2b-256 a3c9ee7179015c97ebf084cf86133becb45b18999db117d898c11d417a646f1c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 2e5020701550b4a110d8127465904d3c3bbde31b7cb4f8c886d1da5e21b34099
MD5 bd521b470cc9b2a8785beec6eb4d6fb0
BLAKE2b-256 664c14a142b4dc7689d3cc9bad75268ebfcc2cf71fdb4878dccef3df6ca64603

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp311-cp311-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 3d9e89a5019c51d2bea83a56867926cf65e3e4c998f1b4c774cf8c3c675dc23e
MD5 6464cee70103c9f3c95fa192be1e4304
BLAKE2b-256 148153c914bcba65fd03d241cadb762dfee8cea1087ea8e9852f254ac003488a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 8f44a96e5b5ef7a1110c5c4cee1ab95d28e28225177f5db4c80dce7aac2cf115
MD5 5984042fcd1bdba0d9d81a63283f895a
BLAKE2b-256 4c73557e66f8d658ee0f85eecc057bf9f0b96abde20aac2a1459e4bf4714cec9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 dc1bfbd0d2badea87ddebf3f76342a8fe92282b8f7c403bef8f76851ce0f0597
MD5 1c2540199b7dedb23ffa3e8396627b2c
BLAKE2b-256 27f46bed80ec471aad380cdaebdb8939189b96362d0222c609b4187a1cb0a8ba

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 2ffa8f86ab8117c42d7de0da17bbdaf83743c18d7849e6237a3b54a19b8180ee
MD5 cc0a021a7d96a23742f14436b0f6fab3
BLAKE2b-256 7752325b99bcf6bb98907ec5d843c6708ac0c050fc47a9a0f4acecefe4fd58e2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 6d0f5400aaa7721f8dc0aa7e8d6a14e22ae85c90da22d9e70d91b67201a5b67e
MD5 a58f9f79db11c2a298aef245ed543810
BLAKE2b-256 4731f240aa69572607be52b7e5aca24c573328a0d99bf2eac8f43719f2c3b51d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp310-cp310-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 95abf479c251773598280e1d0e7732c4e9c7da7a70fc8b4d60d67592ff8d5703
MD5 54991041ad4c9d0a354f7cef4bfd2d2e
BLAKE2b-256 f4f6bc2068614ebddf841d5be28cf90c0fdd17f92efc7c88c4269794a041c75f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e6616ab3c314f58b2ac0aa0c6eeef700c40aca8ba3c7a61318c2d4a435e91927
MD5 671cb9d66c4fdd38bed7f9639061d488
BLAKE2b-256 b22ba4bc2c5d3534613487ec50fb43634547e2a7731ae06ce65e5e301b501f7b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 be70448cc682f5b6280be93196e0ecf95feb126ff09a2a3f9d7995f0ffc03368
MD5 9d6d587133ef7d537255de8824b6a188
BLAKE2b-256 ca2aaacdf64548d4f506459e9ff032da2ef4be6539617de1ad5e448a77af83d6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 fd5b3778981e8f05aaf2ae91bb73c98c39de8c1525c0f7483a33a3a0f44c0a97
MD5 1ac4f7d67c15e002b70602644f578f8c
BLAKE2b-256 e9e574e1e7666e1bcba87bad6a7d68f32eaa54cc6710f869bff7343d08e08a52

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 3010ec7e98b7de5626bcf29141661622bfbe376b87c7c9bf7252d3bee4a55784
MD5 0d0c5109461639f5f5407642b122728e
BLAKE2b-256 9e6545aacf054b41d210de571133279c5b6f5ab7b22597d5fb9a71c0a3ca5332

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp39-cp39-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 c7c24ffe9f075d7571b6614e981a827dbb12841eac6e723e427f0b207ac06799
MD5 5e5854e616bab650b52fdd7956bda47e
BLAKE2b-256 fbf6b03559ab43c7c528a5667b695dc8f095a71e2ccdae653bd064d9a132572b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 2c9c81968fd3459994812b79a459b1c1e9aa2ccf6328fc6ba6ef1b1246f14d92
MD5 9941bf4a3458cb72f08049f45625d8f5
BLAKE2b-256 2e8579038cc9a2df0fb737107677247d1851dc63682148663fef1fcac308aa61

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 23f0cbdc048f0b58e35869e1c70374cbb9a995142239274e00f78b9794c43e6c
MD5 dacdd3b8c6df51fd072efe0f35c8de06
BLAKE2b-256 058e19d4c7f7dc5321e65fc3c5079465286703ba45e6063d466de4d7d23bd5d1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 b544c1a331325fe8c6ca1b872e75acf2aaedec0b7d72aecb9ba08ea0bdc61b37
MD5 c9952060e4540d8d0087685be6439cc0
BLAKE2b-256 c8d0197f4d63e243752bb1e3dde76eb1eaf638fa2c50bbb533a204f3061ba0f6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 e59251a280f893f1ba33a83826cfba50c2ff2276f648ce60fbbae1533f0afbeb
MD5 654b3ad04184bb42788491f8b5ff970b
BLAKE2b-256 35b8ccfa24bffa205ce9ff08650e3290bbc9b462ac7d2d9e1d71fbe4238b03d3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp38-cp38-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 7ff00062ddfea2e6777170bc9c8b24d280fad511ab4a8455d57224d1f207ac09
MD5 b09f45b2c3ef32cae52951f97e42762d
BLAKE2b-256 7abffe54b8bf258de98ea84ae4346bf28f377dac263de6e8b22d4e5426f113bf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 341abbf6bfc0c12554578f56b69b896a63dc46964ddc3dc1759626ab78de2292
MD5 2a1cce33161ecd191173d792e2c6e209
BLAKE2b-256 869f8eed15265e1ef3de75b2f28a9072b9eb9f3ee2a703652b5fd6f3874d8cae

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 09a5eebcc0b8763e1a55a9040aa94075eefb86c8fd91df7d20c5a7cf43499bc5
MD5 49c76b643e17fc7e2cc6c4527a974aa6
BLAKE2b-256 abc5c1ac51994e23d39581d40998b120921f9e0c6ab15485695b5fe0c1c29d94

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.1-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 61ac1607a75f1b379d4ada0025cca3ebe8369dbb5d757676036e884f21026f5c
MD5 e946fb0524b1e66e4e526390283986ce
BLAKE2b-256 3a09aeb75c9c25fa254ccb32ca13813956036c65193812ae07a5bab9b2312a71

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