islpy

Wrapper around isl, an integer set library

These details have not been verified by PyPI

Project links

Homepage

Project description

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

These details have not been verified by PyPI

Project links

Homepage

Release history Release notifications | RSS feed

2024.2

Sep 4, 2024

2024.1

May 29, 2024

2023.2.5

Oct 13, 2023

2023.2.4

Oct 6, 2023

2023.2.3

Oct 5, 2023

2023.2.2

Sep 19, 2023

2023.2.1

Sep 18, 2023

2023.2 yanked

Sep 18, 2023

Reason this release was yanked:

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

2023.1.2

Jul 17, 2023

This version

2023.1.1

Jul 15, 2023

2023.1

Apr 5, 2023

2022.2.1

Jul 19, 2022

2022.2

Jul 3, 2022

2022.1.2

Mar 10, 2022

2022.1.1

Feb 19, 2022

2022.1

Feb 17, 2022

2021.1

Apr 7, 2021

2020.2.2

Oct 11, 2020

2020.2.1

Oct 11, 2020

2020.2

Aug 4, 2020

2019.1.2

Sep 20, 2019

2019.1.1

Sep 18, 2019

2019.1

Sep 18, 2019

2018.2

Aug 24, 2018

2018.1

Mar 10, 2018

2016.2.2

Feb 6, 2017

2016.2.1

Sep 4, 2016

2016.2

Jul 14, 2016

2016.1.2

Feb 27, 2016

2016.1.1

Feb 4, 2016

2016.1

Jan 15, 2016

2015.2

Aug 16, 2015

2015.1.1

Apr 20, 2015

2015.1

Apr 18, 2015

2014.2.2

Nov 27, 2014

2014.2.1

Nov 27, 2014

2014.2

May 29, 2014

2014.1.1

Feb 18, 2014

2014.1

Feb 13, 2014

2013.3.1

Jun 10, 2013

2013.3

Jun 9, 2013

2013.2

May 1, 2013

2013.1

Jan 22, 2013

2011.3

Nov 24, 2011

2011.2

Jul 17, 2011

2011.1

Jul 9, 2011

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

Uploaded Jul 15, 2023 Source

Built Distributions

islpy-2023.1.1-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (3.7 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.1.1-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (3.7 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ i686

islpy-2023.1.1-pp39-pypy39_pp73-macosx_10_9_x86_64.whl (3.5 MB view details)

Uploaded Jul 15, 2023 PyPy macOS 10.9+ x86-64

islpy-2023.1.1-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (3.7 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ x86-64

islpy-2023.1.1-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl (3.7 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ i686

islpy-2023.1.1-pp38-pypy38_pp73-macosx_10_9_x86_64.whl (3.5 MB view details)

Uploaded Jul 15, 2023 PyPy macOS 10.9+ x86-64

islpy-2023.1.1-cp311-cp311-musllinux_1_1_x86_64.whl (48.6 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 musllinux: musl 1.1+ x86-64

islpy-2023.1.1-cp311-cp311-musllinux_1_1_i686.whl (46.0 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 musllinux: musl 1.1+ i686

islpy-2023.1.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (49.1 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 manylinux: glibc 2.17+ x86-64

islpy-2023.1.1-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (45.9 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 manylinux: glibc 2.17+ i686

islpy-2023.1.1-cp311-cp311-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 macOS 10.9+ x86-64

islpy-2023.1.1-cp310-cp310-musllinux_1_1_x86_64.whl (48.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 musllinux: musl 1.1+ x86-64

islpy-2023.1.1-cp310-cp310-musllinux_1_1_i686.whl (45.9 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 musllinux: musl 1.1+ i686

islpy-2023.1.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (49.0 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 manylinux: glibc 2.17+ x86-64

islpy-2023.1.1-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (45.8 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 manylinux: glibc 2.17+ i686

islpy-2023.1.1-cp310-cp310-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 macOS 10.9+ x86-64

islpy-2023.1.1-cp39-cp39-musllinux_1_1_x86_64.whl (48.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 musllinux: musl 1.1+ x86-64

islpy-2023.1.1-cp39-cp39-musllinux_1_1_i686.whl (45.9 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 musllinux: musl 1.1+ i686

islpy-2023.1.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (49.0 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 manylinux: glibc 2.17+ x86-64

islpy-2023.1.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (45.8 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 manylinux: glibc 2.17+ i686

islpy-2023.1.1-cp39-cp39-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 macOS 10.9+ x86-64

islpy-2023.1.1-cp38-cp38-musllinux_1_1_x86_64.whl (48.9 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 musllinux: musl 1.1+ x86-64

islpy-2023.1.1-cp38-cp38-musllinux_1_1_i686.whl (46.3 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 musllinux: musl 1.1+ i686

islpy-2023.1.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (49.3 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 manylinux: glibc 2.17+ x86-64

islpy-2023.1.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl (46.1 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 manylinux: glibc 2.17+ i686

islpy-2023.1.1-cp38-cp38-macosx_10_9_x86_64.whl (4.3 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 macOS 10.9+ x86-64

File details

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

File metadata

Download URL: islpy-2023.1.1.tar.gz
Upload date: Jul 15, 2023
Size: 1.2 MB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/4.0.2 CPython/3.9.17

File hashes

Hashes for islpy-2023.1.1.tar.gz
Algorithm	Hash digest
SHA256	`2a65f5e3c162d1fd09537bf0244a0ef6181e943c5429a3050dc8319bddac76f5`
MD5	`628f14dba74f437be7c4c4bf3ffaaf5f`
BLAKE2b-256	`906534436c042fe7a23dfc25dbeeea95544e64ee3323b132cc3f36b75fdd5e3d`

Algorithm	Hash digest
SHA256	`5a7a460ef6ba7cfbafc6c3b3f46b5081668e9b1a8a26738d52210787735369af`
MD5	`b12143d6ae8a3924154971d58dc00c08`
BLAKE2b-256	`681b285ea0446d1cec39adbf6e2b94b4682761281dae91fe4663318834605458`

Algorithm	Hash digest
SHA256	`30dc207a97f837014de4d432d12c78509038e1b49926eac68e6ce4801af718a7`
MD5	`ce40adc041491fa71f1d495dba53d928`
BLAKE2b-256	`42ae2799af1f440aa53f0789716f054f6101a12064fe3a6ce793cdf8966edae8`

Algorithm	Hash digest
SHA256	`a6f6519454332e49b9a67f6acd403defe99a2948ce4b45a317eadc5e3220cea1`
MD5	`1ad2f6ec071d62c05c748fb98c93cebc`
BLAKE2b-256	`69cc1393e24f662618286506fb12c03f27f84039603d9f4394f578958fb7fa37`

Algorithm	Hash digest
SHA256	`a851c7b60b33037d1ef25d3e40034f4d9f0cf71e4f5e35ec564c9fd8b302132a`
MD5	`fa53f8ad0d52eed7d16eb65ca9c08b02`
BLAKE2b-256	`6529555d6ea3486a056afa80f0901669c0e354aef2c0793d312211b985542527`

Algorithm	Hash digest
SHA256	`09c3e18b3f52c68910d59039f4f076393cb7ec65e4feaba8d3f6e9abe24356df`
MD5	`fb93f714e901ea9117055e5d705cfaa1`
BLAKE2b-256	`fe7e48c203faa5adbcc41b3f5eb79e7fcf8dabe1953f556b084ae7d835873fa1`

Algorithm	Hash digest
SHA256	`6e88038e8212e9204c50df6ac210e1d9f4765eea32e9edbf9609bde697cb1913`
MD5	`dea13d1d4adbd6582f3513b6716a89e4`
BLAKE2b-256	`90bf4950c826a479d66133309cc97dfc57366c8b35a6b3ef06de44c1ca6d28f5`

Algorithm	Hash digest
SHA256	`3e424c7d82b1d5d6a601f3fbbe1d85dc4423d2ecf0406440ea14e8c94dee58f7`
MD5	`cc405d0a0028fa220b8b0356519d6b63`
BLAKE2b-256	`44d08ae6f976ecbc46ccae0d83319c5a39ddb69a630dfb5ac8b177524840743b`

Algorithm	Hash digest
SHA256	`6f389e7619cdc4474b4ca1094640ada80d6ecc2b081e82d39d721e698a3b15b2`
MD5	`2aa64796334d1663bf8d637d19d38867`
BLAKE2b-256	`12ccbe7eb974697469110a8bfa866d3bcefaec85ceab371c7981a049a3a375af`

Algorithm	Hash digest
SHA256	`a87cee0f82ed966010aaa5510a35c9b19668394af347ae8fb3f340000a3190da`
MD5	`0fcfdeb77d03b89d337d402ca97f64ab`
BLAKE2b-256	`03e901caef53b0119946ce278dc796db5690c7e4c3f46672aeedc39e20e47181`

Algorithm	Hash digest
SHA256	`128a57b19027a17b27acf7ff9c1cc44a1af973a45e01b3b77bd0e5926bbcd6b3`
MD5	`1eed6197599e20f1c3ce60b0f5cdd90e`
BLAKE2b-256	`97222038b926d65c005abb2befeb81a28d99697d9c53c63dff03b19723539374`

Algorithm	Hash digest
SHA256	`5a2fc4797a79d73e127dfb664ce9a5e0e261c2f0036da8d9908b00623d49d6a8`
MD5	`648d41e0d8048debf2589c73d8216f77`
BLAKE2b-256	`49aef2b882ac55e66af146757bc7db054f0e55cad8372d20f33c12be9e613853`

Algorithm	Hash digest
SHA256	`cdb8763ffdf1e37e44be67b4e384f9bc2fdb11bd3fa81dd52f1814bdcc347cc6`
MD5	`afc5be640a7374d479b723a5464d8ab7`
BLAKE2b-256	`3e78a631ab413faea2d551b77d33667baf62f97f4abcd13522041dc1516f2ad1`

Algorithm	Hash digest
SHA256	`8374029424cac9030444f7a79f7ed981fb4e3a91fa38032a8a44eca5aab0d487`
MD5	`9658108091f1d5f940adc66586e103de`
BLAKE2b-256	`0917495ccb3df514eb0ea65b49a4602eea6af7d0f09208e4f4f5d01293805297`

Algorithm	Hash digest
SHA256	`bb98b77766390eb51d18956fd71682a44ec2cb0a4f28d0fde171ac7006417c59`
MD5	`0a2c920917bbef8d60b90205009939b6`
BLAKE2b-256	`53c093e69deabd8195d3f80e07dd693475132a519f094bb37fb7b0112d1171bd`

Algorithm	Hash digest
SHA256	`8111f57a2fa1c05b8d3e5d9d8433b99edfda4b249ca0d2c89cdbb8ccccce4cba`
MD5	`b819d582a5f26196b55e68a0e35fd6de`
BLAKE2b-256	`ed8997a893ba5a4e08ed3f33a2cef58c0a1f30cb1e9d17731c9ef1e564ce49c6`

Algorithm	Hash digest
SHA256	`8db510402336c3a2580b73cdf13bef51862891f425bf20b0bd7da53a810b7d19`
MD5	`9313d596eb682344d077e729144e4cb2`
BLAKE2b-256	`3cbe7b4304a27dc670be5a05759452f18222b9fbfa4ee02beb3e62bb8d38fee5`

Algorithm	Hash digest
SHA256	`b9123b6ad7d2eac872ed091badec204005f5df07a32958b7d97535404ad27787`
MD5	`c398b5fbc9eb224e6e19363459a21311`
BLAKE2b-256	`05047a7f03f6d9ce73adff4a759866f038bd9f5208abe517b75fe31cd01278c6`

Algorithm	Hash digest
SHA256	`b024a7705c0f7a3152f900d81dc2d0003d6b3a8636f4633b47389e77bd9b2c1c`
MD5	`825185306eee43940e650c021fa6904e`
BLAKE2b-256	`12877b5940e80c25ce4d8b45b561797aebd19ef17ee90fa7a196acb10e3bebc4`

Algorithm	Hash digest
SHA256	`2ad248c083d000bf93bea28d55fb2855bd2d31c5f707cf51fe63658597e41e0a`
MD5	`ecd762dbc27351a8ede3b280d3d56250`
BLAKE2b-256	`83dce6e18db75678d464f84f72a6c2a1b77e675e4ae58d2acfffbdd934c9f1e2`

Algorithm	Hash digest
SHA256	`03b5cd1f15cd65ae3c12427eeedf2eafed63ba617300c252f2437d4712698b8a`
MD5	`1cbd3f9a16edbe4e72b0be4f0ccc4434`
BLAKE2b-256	`00cc60d794d52f218728b327aa2df8ab480484b13d2f4ec3d6403dc43f48dca0`

islpy 2023.1.1

Navigation

Verified details

Maintainers

Unverified details

Project links

Meta

Classifiers

Project description

Project details

Verified details

Maintainers

Unverified details

Project links

Meta

Classifiers

Release history Release notifications | RSS feed

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

Algorithm	Hash digest
SHA256	`6936e000019c8ec6060620880c285826949a5994eb6fc33b2868e13b788c0adb`
MD5	`d5d4b6ff24b53482dae750973611a0bb`
BLAKE2b-256	`25fe514cc196c7e01d8b3ab845d0eabde08ccebe55614ba0a5859f6c558bd487`

Algorithm	Hash digest
SHA256	`ed16d4fa2636376c9404d496682bca69f6d465b872f209e43541711f95706573`
MD5	`b6d72ec3c42fa3d5390ca09d068e3b3a`
BLAKE2b-256	`7da585aa3c4562353c2762a222c28d8b353232b897684a249f5326c7b4ee7183`

Algorithm	Hash digest
SHA256	`5bc106445b682d784a0ed138b5282f18e1cac1d1fa680770f9cefa5b684edd1f`
MD5	`4a72ad9789ee68499dfc780061a80fd6`
BLAKE2b-256	`d010ab5e4b70d66f7a3b2a8decc030dbd6b9080b1d2b9502d50f683be5cf779a`

Algorithm	Hash digest
SHA256	`526ffe9fcd5f3cdc2ac364a99fe2f009073be51c21a9f9a9d6bde1b610963121`
MD5	`26e9d5c4ad36fb6fa9240335e3a76d08`
BLAKE2b-256	`06505f3d7a10512155bcd7566df64f48e10dd2aaddf45909c57ef6247c8daf70`

Algorithm	Hash digest
SHA256	`aa45f570ae853d66b0b0f3050979d80fd5a70441599ae764943c0f7304af3bd8`
MD5	`b58afcab94fceca26758d4292e62f4b9`
BLAKE2b-256	`c5056e84c59f276b75c4489d3411d64ee7bbe02f9b41215c7f8a8df18be4ef52`

Algorithm	Hash digest
SHA256	`90dc2103161910e099ea3ca89df3c4478c84877087af664b64c0ed1096231ccf`
MD5	`33218c75d371ca2e0a97ae56acce1acb`
BLAKE2b-256	`883197d367472a720b40e1309027ebd6e8133f8441b27b21b712c5ef510e3fee`