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

Uploaded Source

Built Distributions

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

File metadata

  • Download URL: islpy-2023.2.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.2.tar.gz
Algorithm Hash digest
SHA256 e0028c67ccfc002b1c6a419a545883215a6b36b62f2258ed273f050a1df4301e
MD5 25cd6d68edf23dcc030711b18f3d6a3e
BLAKE2b-256 594249ae672e164d12ac2b0e1b96b4a9f7cf6a13b4a23fa50372eced19b72996

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 daa707e9236fbcc7fe560ef6d6c22d08247fd592fec73450cfe40b4739bda973
MD5 6994edb0b311607460e0f80a0533be97
BLAKE2b-256 1ac7b01291d95afd5f7792506a1b59e765e2c87d2baf5a0ba93e69d90b861595

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-pp39-pypy39_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 01a7aeec3ba6c94589689ea6b8ed4336fb638434afb44003968e6d6d18e39967
MD5 e405b40e72c767f887336733ef9c8e92
BLAKE2b-256 8f26c22b73108e0273c93f8d597a5b60bc3b1c1efb6c40857d62d1d0f216e09a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-pp39-pypy39_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 daa406ea6d98395b7940b816d95bd6d565b9323201d1fdb65a27fa9ef37fca6c
MD5 99c1f4d05c97ab975d37a30663acfe06
BLAKE2b-256 a792bcaaf0d09878d8ec95200fed421a7b905a0b358953bdbc961d93b4d02f93

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e3e07face9af6bee98d620c6bd1667a635bc9bfed4c93c8fb632bb90c651bc4e
MD5 7ecc6cf909c91f95150dfe6a9f2fb690
BLAKE2b-256 a6c579cd76aa2b8588e24a9ced8a7ad377dd07ef532de14c1f50d9ede39bb9a2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-pp38-pypy38_pp73-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 07101974469732075fdf5e3cf8bf69a784398e170df0225f32d81536c8a1d738
MD5 59a79b2563f19954ed257e23e88e0c65
BLAKE2b-256 c6cd3b477310660cdd6ba8afecf4e0fc8535b9ba788d67a06439ffd364f3e22a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-pp38-pypy38_pp73-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 f691ba3f844da9688ca32cf20c190c205506bb8a202bd45aa6755cca771e0ba6
MD5 e3d610d6d8d0d7445da486723390ff35
BLAKE2b-256 ae738d8bf46380a2da4f5d2b41aeff46bf996f9fb9386665bc8eaf0d37463d05

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 a2849b5c09e9f448ec24f736e0bb35567cb0f0babefba97eb351d86676de1554
MD5 5a68daf1f0c562b1b9bd0db17a3b1969
BLAKE2b-256 b711ff6bdfbef1e495d44b9ca0676f4c8d00072919ed09cfd8c003b3f8834504

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp311-cp311-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 2bbaa6ffdadb01c9766ed39b33166924bb30d772837f105c0ad5b0a129cd2b5e
MD5 88cbc79ff706ce230faae3285f7f8f08
BLAKE2b-256 7125adf256c3ff5249069f134fd577c9af863fb903583f512c086431a6255f23

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3c8f118ad1ca9ba0383b275f24d6c2d988d1e80574dca673a04efb4f3b0970bd
MD5 c78df4edf355890e5c6241b3d7d6ae2f
BLAKE2b-256 d96a2334adf82cc25270d4fd4d625ecef5dddf0fd968f4690a873659733c5215

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 2169eaa243cb4fbd2823a8d26691967ac68d7578357dc27b70833e895aaa6947
MD5 a9345b1448a4f964f2c4952c540f4766
BLAKE2b-256 a117e57b857552ef08736c2f337150255e0aa502ac4c893c0f0f39314b7f493f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp311-cp311-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 0e23295386ae30ae0af64085263124d9a8e8f472559c32e881a3beafe2362ad6
MD5 4ff978c9cd217db084241af27abeedba
BLAKE2b-256 f4a680d653ca1b73de7e6c902512829d726ddadf48dd046b69420a6b6aefc36e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 aaccd4364f5f816cbf1447c9ca9292763ae84c3a3768f767681652a1fb7a6a7d
MD5 d12c5d8fcbbb63453b96faed832cd34d
BLAKE2b-256 e310632ea00b05aa7d98ea5f03ef2afd35552b8c42b186c955d351bb1c173967

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp310-cp310-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 148b79ad9f9f6a8807c250e7806c5e2865df6de001767a6485ee89a0f9f7dae2
MD5 2939b1b14dc915610f96a42ac0c62062
BLAKE2b-256 0e872b8b12c6b94224462f7db128f8fcb4cad377efe8ed25cb78ddeaa284a108

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 08135917ff9ddd429971233531dc8c86862c27198e63dc9e50f2c51f170a9bc8
MD5 46a37d4bd5e2c6a7a32073f13ec7bb95
BLAKE2b-256 75339605a412e096ada8600c371a3f232c88542c991d4312f67a671afb613e04

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 6f96c4539af5570e9b78721cb4aca4df89b909af379713b8f0bbb45097417ba7
MD5 3970f7951b44cc9ec1ffeb911ed89ca7
BLAKE2b-256 533cb79395949be754ba1dc81b3ba1a3da791b60a84db08d5b7f43fcddb8d579

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp310-cp310-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 59f44660dac143a2539d2364857dbda3316ddf6c0673ac040020a84465b05c4a
MD5 1e889612feb0299c310b71115e1074ed
BLAKE2b-256 816e75067934eda557bf66953def18061b8eb1a60ab7bd007417568e1cd112ca

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 7901c36a5360ac130cc046b0a175cd9db57e74be52a15342710bc5a5341dcada
MD5 f8a3dea68662deb7e2555279aff4cf27
BLAKE2b-256 27b46835d7825f94b1ad9edaade7c9526b9d36b370604d97007fcb5849746f09

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp39-cp39-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 1df807b4869f368e49b88992d3ed4836f7bc186adcc11c326827cb23a3030114
MD5 5ff596b92f815be0aad9b65e9fff565c
BLAKE2b-256 10c01c43923c728a1695886f30fe3e698837b26c529c324b2a42a72733458a24

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 f8042e7806089ad01ff6635978f62d96f1586bfa0ce5a79b07607f838f8d96fb
MD5 29bb4a3928cdc6d9085641fc4dc760f5
BLAKE2b-256 9bacd8a3aaf4fe71f21367264392b0f0565159e637d0316784347ceca7560354

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 b6308a9f53e00d22dd811f803724a2ca9d28f7f1398d9b75f0601d70fe3075c5
MD5 a691f2a88d310dad68b5511eade3016e
BLAKE2b-256 8b4889df1ca5cb47b2bf59c9e4b952423ca14f3d013ba91c94343df0f89a0f98

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp39-cp39-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 c233b5dd837e0dde19fe0ea562d09bb751983cea6254df78f8b945d50c21cbe3
MD5 be90b0a6580c770bc3dc26fac501c7ab
BLAKE2b-256 9018ab75b877311aa65904cabb4ac3223bcc3e6bff121302aca2165c30719d61

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm Hash digest
SHA256 d9905466ec695176460034d1bfb2c2aadb33e933d0ee90cc4c4f25f353c9e31f
MD5 3be3832107501e2185158d358d30f5e9
BLAKE2b-256 4433688d210f4b29c5ea098aa36dfd599c3697bc6c67b359010574406bece671

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp38-cp38-musllinux_1_1_i686.whl
Algorithm Hash digest
SHA256 5042155adfd878ab6e8a7a35031017b4b7f3ac7e37d62c0eafc0096bd77513e0
MD5 416d9ba6e51aa64eb4f58e2492309370
BLAKE2b-256 a39920e6a8f4e5b32c5414df60e46ce6ce14005395ab15398dcd74d2de4d307a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4464bb60414befe75c960cbf655841468bda82d2b899f8cfddff82a47fa8bebc
MD5 78689a11afe99ca04f10a749bfaabf99
BLAKE2b-256 a5ef9ef0af848ec67c95637e77a50e6da7b6ff035bcc32c1392330fe28a09c81

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 6189ce21123d254fead6fb2bc158d01ba7b6bf342caaa1a72ec4793bdfcf8a40
MD5 3b2dd66a40142d52c721e25ea66205bf
BLAKE2b-256 d8f17994ce4b35ec6d611d81c4ddfcec2e4a511c9db78f09cbdcc58a5c267cd6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2023.2.2-cp38-cp38-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 057cae399906617b93a288f91a6a63e6672147b89083a0b13bdb91917cfebcca
MD5 69f47acb10e91c52168394148d896c7b
BLAKE2b-256 f8dd4d2ac9a3a02707f063af4ab9cc162e37fa47d081ca4bfe051d502f4ff6a0

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