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

Uploaded Source

Built Distributions

islpy-2023.2.1-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.9 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.2.1-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (1.9 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ i686

islpy-2023.2.1-pp39-pypy39_pp73-macosx_10_14_x86_64.whl (1.7 MB view details)

Uploaded PyPy macOS 10.14+ x86-64

islpy-2023.2.1-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.9 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.2.1-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (1.9 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ i686

islpy-2023.2.1-pp38-pypy38_pp73-macosx_10_14_x86_64.whl (1.7 MB view details)

Uploaded PyPy macOS 10.14+ x86-64

islpy-2023.2.1-cp311-cp311-musllinux_1_1_x86_64.whl (2.2 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ x86-64

islpy-2023.2.1-cp311-cp311-musllinux_1_1_i686.whl (2.2 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ i686

islpy-2023.2.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64

islpy-2023.2.1-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (1.9 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ i686

islpy-2023.2.1-cp311-cp311-macosx_10_14_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.11 macOS 10.14+ x86-64

islpy-2023.2.1-cp310-cp310-musllinux_1_1_x86_64.whl (2.2 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ x86-64

islpy-2023.2.1-cp310-cp310-musllinux_1_1_i686.whl (2.2 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ i686

islpy-2023.2.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64

islpy-2023.2.1-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (1.9 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ i686

islpy-2023.2.1-cp310-cp310-macosx_10_14_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.10 macOS 10.14+ x86-64

islpy-2023.2.1-cp39-cp39-musllinux_1_1_x86_64.whl (2.2 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ x86-64

islpy-2023.2.1-cp39-cp39-musllinux_1_1_i686.whl (2.2 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ i686

islpy-2023.2.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

islpy-2023.2.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (1.9 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ i686

islpy-2023.2.1-cp39-cp39-macosx_10_14_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.9 macOS 10.14+ x86-64

islpy-2023.2.1-cp38-cp38-musllinux_1_1_x86_64.whl (2.2 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ x86-64

islpy-2023.2.1-cp38-cp38-musllinux_1_1_i686.whl (2.2 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ i686

islpy-2023.2.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ x86-64

islpy-2023.2.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl (1.9 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ i686

islpy-2023.2.1-cp38-cp38-macosx_10_14_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.8 macOS 10.14+ x86-64

File details

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

File metadata

  • Download URL: islpy-2023.2.1.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.1.tar.gz
Algorithm Hash digest
SHA256 bb5e7181b874181de8182a72cc3dccbed45b8866e324fbf15f4f23d2d359f889
MD5 fc125146a0167a31ef306acf30582a53
BLAKE2b-256 48bb1bf0dc48c0076a9f75bae5190b53815ae2c0368fa2ce989641905d2ddb81

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 8cf7db3ac02719704bff7f7904d34c37c1299c4afa5aef3591d95cbc7d1973f0
MD5 82e6b4a3937b73f8fb62e1b5775e0d9d
BLAKE2b-256 6bac5f88d822e3f0a3a9127fa6373911e5aa3d437f4b5c50f5c3e77e53c82493

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 2e19fad5aa3efd4d08135b3a802845dbf2df75cbef357cd8adf9fb4edfd4fba1
MD5 d3214d364b599864d6bdb9ffaee2be7e
BLAKE2b-256 003961d600dd4ffb9cc2b4452761768deaeef17d771bddf2f0d50059a3d52367

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-pp39-pypy39_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 8bf6b50b4f0486d91849243e78e060ff7a9785ed26373e67325561384874e4be
MD5 7a8b0f55947b5ff86793f01b9ef4b15e
BLAKE2b-256 b59b490175407edc67cece6f7593a37ab13c3751b46db224acfb335fb5332e4f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 f9c2f7aab4773776417dbe60995dbbc78786f3d81e2082fc7b0a17e477df1407
MD5 fd5162a148b7778c57f6aacf83940909
BLAKE2b-256 6143696f97150bbe1ba9e19b540a7bf5a639c5fabd0d6fff2e32c8573e1edd33

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 ec2a9776389ca5a59f6b59e81e828f84d1eee888a9c0e154dfc954b4b0e3ed39
MD5 45878da9897a2e3ccdd0bda0958b59e8
BLAKE2b-256 47f685e80c09f9db99f2aaeb4f9f6382e9e5d097e941ea97919a5a9a3b2ab49b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-pp38-pypy38_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 e9233ac57bd36c4f6c31f9a88eec1a78b3ee279f7435a558d0b21be132822c4f
MD5 ea8ae66e2e31f9e58474c99a3aa13ab5
BLAKE2b-256 1183882cd3de7295c73c7129f76fe8dcc726466b8e61ea6d4501075491153ef5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 6c6f12e7e08d7d9bf5f6b30c29dc63442c242c89414dec0ae963113da34390ff
MD5 8f0ed25038cb5aa594440deffdee331d
BLAKE2b-256 f7d6c26748be0ddf263eb938740be9dae947ae80e70b6a25770a6ac82d840090

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp311-cp311-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 64ded19cf1280bf20f9e5b6432f5884ca2ef122669f727d48dd94e1fd6c4d589
MD5 82ca84a5e65f268dc682b40fddeebf8b
BLAKE2b-256 f4adac3930c42300ba60aef413398143fef78f97594bc47e3d76bbcd34b28ed2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 21659f7709b4861a9660a584c1f5f5713c67b432a60c8d58f402fdd0504a6bd7
MD5 3268da11bce1474b38333dd5af113998
BLAKE2b-256 b7fd2e9a9bb4abb738cf343b2886e54e8b1b72c46da0815c31977440f37acdaf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 cdaa7cba0a6666b257248ddf60a6de6fa0b7deaf1e8a7260dd93f6d10ea11d75
MD5 829d5838bc1e73e073a7a2294643a2c2
BLAKE2b-256 dc3536a68c365b33055211008c043e66749f282db0fec60da000a1054bb43dbf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp311-cp311-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 b257a0d1b521bba1a3bf736e006e4f8747da9a294d9b3aa693698b10f051e37d
MD5 fd41532a4433b3f3f249d40f0ef0fad5
BLAKE2b-256 31ead8057fedfdd8c25ed4b4a6b4382ee9e61493cab06546127e9d4a6f17a3d0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 4fc7e52416d00dfce2b1de997fd23140d544e4e534007a12bb0f407a8f5110af
MD5 f56f0ece520250ef5874b774e0f59ea9
BLAKE2b-256 1375bd2053b01e83f20bf42da87045f4062901072fd6e8f4c8fe88103482adb5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp310-cp310-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 a7d5cf4fdb2edfa84e7ec88d4b280a55ff6ad5c1620ebc8562839c9af033cd0b
MD5 b87465d673c9e29e59f67a9e4fd6a018
BLAKE2b-256 5ffbc251e072ec4a4ddf6aff5a14a7212f0098bb0b72818c1bafcf0683c4d274

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 552711764770d54b0b640b185978ca771a6e2cb20eb2b28d3477192b276c9055
MD5 e00270bc803db6cba4be998228612d32
BLAKE2b-256 11a4edc8e93d903278ae44dab28ac229ffe288d29aba7a9202d5619ca3827c3f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 e4bc6cc2ab6ed554263dafe5d60269b61c292050677aea996e3a99cbb3267c23
MD5 6f6794237946d700e1fa4227d329b235
BLAKE2b-256 7ce4ae4a54950f941a18b40c1b8919ee313c52717f3bf7dcb453cb4a5fa75c74

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp310-cp310-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 48d6123976f24bc49f95590ab7db379859e333bbfc0ed68b1a66643f33741a30
MD5 da9ef8011038e99b76c27dea096ce4df
BLAKE2b-256 50e7fc647937ac9c4d344bbace8a73e170f8e87bb2c6f9fbe1b44e37f13aa325

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 bacb84108e230e05d38459da887998709afd53d08b6dbf2792e8d2064acb1a90
MD5 385d86eb7424994c0973347472190143
BLAKE2b-256 9418cbe0314e4e6d507d707f2b1baaafe14342eb8ed65d65819937c3e6a85756

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp39-cp39-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 cae7225e573b6a7762d809cbf1388aced6a92d93742b2711b7b5429b045f7bd4
MD5 f2e479f53dabae675a2fd9b449dfa306
BLAKE2b-256 da7d43c594bff1d35bdf3aa27cbd272a7049a9183be32b57d43d4f889407e0fd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 55abed8bfe320f6eb867fba94d8ce149433df245e39686bb27e680824685393a
MD5 f5c587b90ab1c594106d5d6351493a42
BLAKE2b-256 ed920094883e53389e371446544923565626671de87206f7dc9317eace7fe3e7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 db1dc36afe45ce797aee29f9592e46a4033748cbd3f86b5454350d9ee8486172
MD5 9ae3c6ca652ffc2380ea601559e46bb2
BLAKE2b-256 053089c5d3a0de7de7e0a5bf64a71b66c410ff2ee20b3b167376caadb44c287e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp39-cp39-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 b1b70cbc6fa02661aa765ea2133d926573f805d9797a75cd01a2c77911041f2e
MD5 ee47be596b375f4ac22472c523eb7720
BLAKE2b-256 a062549b48c6a009acf57cabf931c8276f4fd737d6a74a4c582a36d7120bcd29

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 7bd3f65756a325a34bd8e387a9fb511d3f4772a903c8223342f0635cefe19242
MD5 f606110d2aa416527fdc20370c6f50d3
BLAKE2b-256 acea95ecb246dae0ac092443c59ff9e069047da87daa01d2a4b0f5f2da70e628

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp38-cp38-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 5dab9a6f9f30b773018fa66819d32b5105a9f4c127309fff26e201c0565afd83
MD5 28a7b167f2c21c8e2235e4f243847bd0
BLAKE2b-256 b948ebf5df7838ce01b225525fecc6678f211f867ce148bc6aaf48f22de8f18d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 9487caa2b59134d301fe24e516929ec9d9145d752b918ae6853ec4e039f8b932
MD5 e507b08cfc4ec1c92c6e68b541cce1b1
BLAKE2b-256 4266cd77ca6ed827669a89e4c7f267d20522b820d63afc272e430b254d39cf0b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 fd82efc080132d7e89e7f55b5de4f06be6b1e3f36e24dd3052154a37b3923f01
MD5 60cd570a63a113169528b26ba4931f95
BLAKE2b-256 2244a3e24d2eae3e1670bafbaa390ad3e9184e3cbebff1c1f3999a5829061533

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.1-cp38-cp38-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 6b85c218d8242f4b8f3038337673941bd5ac0032b9893109736987eacadd17e6
MD5 204c141a20d92cbe5901aa827388c1d2
BLAKE2b-256 41d0724d88aa466ed3d09c993f0eca37eb1e3cd40dd03779c6552eddb85c5dcd

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