Skip to main content

Wrapper around isl, an integer set library

Reason this release was yanked:

CMakeLists.txt missing, see https://github.com/conda-forge/islpy-feedstock/pull/43

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

Uploaded Source

Built Distributions

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

Uploaded PyPy macOS 10.14+ x86-64

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

Uploaded PyPy macOS 10.14+ x86-64

islpy-2023.2-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-cp311-cp311-musllinux_1_1_i686.whl (2.2 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.1+ i686

islpy-2023.2-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-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-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-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-cp310-cp310-musllinux_1_1_i686.whl (2.2 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.1+ i686

islpy-2023.2-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-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-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-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-cp39-cp39-musllinux_1_1_i686.whl (2.2 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.1+ i686

islpy-2023.2-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-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-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-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-cp38-cp38-musllinux_1_1_i686.whl (2.2 MB view details)

Uploaded CPython 3.8 musllinux: musl 1.1+ i686

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

File metadata

  • Download URL: islpy-2023.2.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.tar.gz
Algorithm Hash digest
SHA256 9d4170a56453efe108a505d5ab4b34487f398e0ad88abf5b62ae1c31e91275f0
MD5 983e7816ab1fb555b3a575a5bf714965
BLAKE2b-256 c2ec22dbe0cc19b602df0f0386a55ac8fa64e6c4c1c4ec36aaeada4988263889

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 cca7c162478b357324a98428820aeeb6d54131985be6b239c58322b9fd9b706d
MD5 e4a6670b32ff3346b4645f83802226e2
BLAKE2b-256 e241db38bbf93df97c372016221a5b0be08ec164970a1c8d8b157eae4901a3db

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 6407a02a93aad16c0cc383395216ee641aeea954874b113063110e33e88169c5
MD5 44137a866ecd9c7becdaef91b7c329f0
BLAKE2b-256 795b3bd030a4c56a5fb00551746fd76a83bd90e0fbb63a88cb0b8def40d73521

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-pp39-pypy39_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 59fe4c9174814d819a69129017937e365edb8158cbf2570f4c069ab0e2035e52
MD5 867488124275551b90baa69ec4012e20
BLAKE2b-256 f2805c88db1af63935bf87e455dc83eaf399f8223fcf63588e74d399b8c3de8c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 cb019bc910d4cf8da29f70c2a454ba21866335fa93db178a2d16bae756f63d61
MD5 4322aeee43a3526778bfa54edb020c99
BLAKE2b-256 1d6287aa5a997ded0300406f8376a9ca9d1bcccab159570e4f5bdab311cab701

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 69f339b05bb8ddd4a11651f6015b1e986878db77f755992819bba8a6da705cc6
MD5 134f1c738770302410353e02b9678484
BLAKE2b-256 61adbd29377980a701e419a3ca69a83b25eeebd7a1a648a8c851077c3e0ebc56

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-pp38-pypy38_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 3bb2fc6fde7e27c8c90b41be33c7c80ba27b16cbf82e63e415fae0981764a75f
MD5 565599f1dc409d99be5140eac003e32d
BLAKE2b-256 17d7efe7522e8c1f94a4eb38f016bd4e4ff4609df099db4e41d4acabd4531c11

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 92c6f0cbb20caad806863d027f348d4b8c96133e5039e58ee2013641817bf5f8
MD5 e7933263e6148624a46a7897c64d90c6
BLAKE2b-256 b8f29945c1597adce4c44f3333bceabccf69976bd515dc24d34d7cf96182d5b3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp311-cp311-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 26c4c324ebab88765669e4cc7f1e2d8289c23a0f9b31dd5e74ce3567f558fc23
MD5 a5f96470d975b1aab13f4043f7b33b3a
BLAKE2b-256 9243d275600f02bd76a2aadee9fd0637414f5df7d88e4a3aac795e241baef737

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 2c4debe1a6d6848362f19456b447f8dfba41d01346467de657aec956189ed9d8
MD5 acf1a26f0b547a2156c414446ff046c0
BLAKE2b-256 77493b71f967df4c8552330bcf5af11f3028f756b2f5176c21cf450565dc4795

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 e7232f066fe5eda8590b46b72bd43c88e4d33baeafa900ae2421e9bad115012e
MD5 d6504b6354ad4e771ee04cf248f3f733
BLAKE2b-256 4161bbf928c954027424a4086ddb8d2ab18ee086623ba7a854d7efcfb15d4de6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp311-cp311-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 77e14133190cdeefa55a2c6c5a5829b4c2fd8bcf2c5d10c6e1eecadefe2e69d5
MD5 33bc6235deadcefce8eaab991200d41e
BLAKE2b-256 9760f5069ccdcd1c51466c4e70c020897a5b98ea3d113267c3e371edacc67a4a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 1f87f6c1d467c8c7e810859738af6d231abc59dd80f09c45d941b87054850e71
MD5 023878f64dda52203fb53f96940c1470
BLAKE2b-256 f1a0a9c96467d16dd01f675477ac33f6091785749f61f4dd2c6a6e556507972c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp310-cp310-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 72925fa7f20c7a209e632d79ed0d3aab66c0f3acaca10f3f4bc32efa44cf7852
MD5 bcc22d8694b6d4886acf9dbf07c748d1
BLAKE2b-256 b10aa259f227a2a7b23ef1dc1af31effee683ae9da2cb453ce642be1f728cf9b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 9334b9589cb2852ad5d8f66efc66b4155a60fd079d827c146eec8d3c3d25000e
MD5 109e23970a9539d0af5476e186c73430
BLAKE2b-256 6ce9ecdc764e861bb6ac092ca20192e8154b975f551ddb1fb44ff51683706d6f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 b65f269105eb91ae8b085fa64b0449a73dd7c6687b13f3c7c1b0efbdd3bcb08a
MD5 9140be5f5a9f2211d686834a5a8420c5
BLAKE2b-256 e9e4597127901299fd5390a2a1fac70464272740ca26b77a49d69593f5e972ce

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp310-cp310-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 ec3e5e854af7dcac1a69427899821a23f181045164b9fde94a7a8bf86396999f
MD5 a9e32dc32fe683a5ebafd798f1deec65
BLAKE2b-256 f623c706e87af99c05862389cc13ca1262923a4b3874052cfb13206198a85724

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 79317f674c1d3de50c5d6c0e947e67705fecd86d5e04781bb623412ee7b2259d
MD5 30a1775404c2f3a05c00e4bc4252ff0e
BLAKE2b-256 3324d9f7d59953bcf0df655ca6db277162b40e38b6b70d0817875ca6fc4fdbd1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp39-cp39-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 bd8b61c2175dc07b91c08f8383270a47f5891e29d9ac79697f571c98eabf3c8c
MD5 40aa5c8a8f62124e2a308d85d344f06d
BLAKE2b-256 759677aaa697fd2fbbdb7c9574528cfc05f83d528039118e766fdb3ed85116bf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 31df8916c9e3b63bb9f3429cb8a0705339b534037aba14b60a65083a9495ae01
MD5 3336b1a86ded5d0845b1e55f5d33e809
BLAKE2b-256 e9e6e4072aed1d6d4a143662f82b725a95abb95b8d26cc8a2a33417e43b813f4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 ff0180eeddacb2e218cb1f5b25e1dbd44e032cc75ab5953cb4116274ab6317e0
MD5 04dee4dd329966dfad9369097eaf5508
BLAKE2b-256 ed85cf65925b89d219a5e242214467b9c0e00d8a9c8dadd9749f71e5cb32cc90

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp39-cp39-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 48be19716882de6e1be6298729fdda41f6b8ecccfe0a7bb1daa97976b3de9b65
MD5 d314b944f74c315a67047a9d3df58ab4
BLAKE2b-256 df9bdab349b06d05e72bc3ca9d18b3ec218651a560862a36f29dc7c29dbf13b7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 c391747600855db09d58b45a4ab9666fab14cc67480fdd994bb8ad6baa9bc22f
MD5 f042e8f9c4e1ddffa831b97f33ea9ea0
BLAKE2b-256 24e68419abed6df5e6ec875eaa6b750af8b039d355cadeda4b82becc3f6ba12f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp38-cp38-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 e180a5e5de531ff53a023c6944d7c71c9fbb6e20e7f6a8d4f952417f2ee68a8d
MD5 9b8267e58ca467018ee1b171662d956d
BLAKE2b-256 eace050ce2ce675f2178b088b7f75587a0b8f0cec110aa78a85af2fc9a15d556

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c971fdaa070c0d64c6224152abfcb2e37e707a7514ce96a67a227cac777fb39c
MD5 d067c152bdd302afbabfce53b9dd16e9
BLAKE2b-256 298ba2e458d88cc1af60c840a8a3b965a9c96a8a1a6753daae9bef5f368794c2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 5e8ceab74011b51ab05f9a9265a1d9a28a1d7b1ce7dae125bc0a93d245464222
MD5 c782757bb4a25d6bdae5c057956b4be8
BLAKE2b-256 2c2218d9f4460a76a8ebc75c2d836064439c5f7faf99b01cc9f750a2212501d7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2-cp38-cp38-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 9430eb69d2979a7f5e2efe21fd6411432e609ba1bf8293583ba93eece3eda0a3
MD5 a4ebf355c5f748fa4cd503d2986a153f
BLAKE2b-256 2913e3a3baeeb629f7906c9b0b3dd279726aca9a95ce3ef189b01f121afb3562

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