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

Uploaded Source

Built Distributions

islpy-2022.2.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.2 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

islpy-2022.2.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (4.4 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ i686

islpy-2022.2.1-cp39-cp39-macosx_10_9_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.9 macOS 10.9+ x86-64

islpy-2022.2.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.2 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ x86-64

islpy-2022.2.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl (4.4 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ i686

islpy-2022.2.1-cp38-cp38-macosx_10_9_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.8 macOS 10.9+ x86-64

islpy-2022.2.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.2 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.17+ x86-64

islpy-2022.2.1-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl (4.4 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.17+ i686

islpy-2022.2.1-cp37-cp37m-macosx_10_9_x86_64.whl (4.8 MB view details)

Uploaded CPython 3.7m macOS 10.9+ x86-64

islpy-2022.2.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (4.2 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.17+ x86-64

islpy-2022.2.1-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl (4.4 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.17+ i686

islpy-2022.2.1-cp36-cp36m-macosx_10_9_x86_64.whl (4.8 MB view details)

Uploaded CPython 3.6m macOS 10.9+ x86-64

File details

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

File metadata

  • Download URL: islpy-2022.2.1.tar.gz
  • Upload date:
  • Size: 1.2 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.7.1 importlib_metadata/4.10.0 pkginfo/1.8.2 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.10.5

File hashes

Hashes for islpy-2022.2.1.tar.gz
Algorithm Hash digest
SHA256 5eae2db80434910e8ffe2476ea9182ba3f8f51c274ac94c76ba2dabf2515061c
MD5 e9b0533ca5cab016dc646d1d532cbf6f
BLAKE2b-256 2fedaad41b240a4ee4805a64ba32990c0d8a6ba5257a8f82bdbd6f29012cf8e3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 fc2bb9237cbdf0046c474be15180ece2e163bbc94c888d580d177801971e3ad7
MD5 77eeb83540a6764d143163ee03b84fbf
BLAKE2b-256 95f82e322eac9ccf0ff1afe28500838625e9b040a2cfc949ad3ad884e61d20e5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 d90284a70c26ef4c3f5c282a47147e803b8d503f3543f45d0a2659c0bffe9df8
MD5 e3d3ca25c259f21adceec1f1bdb44121
BLAKE2b-256 ed55c1ae51fdeab7462175bf1ca2396cc08e82fabff65d0def5aaf421b0e2318

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2.1-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 971b512ce436ccb0772e134c87691ace13725b5a6031fff019e453cd73d0d5a8
MD5 3771b3bf6f8c977eb85dc10904d6e9b4
BLAKE2b-256 4609744d57be379a336f4c1259c3fa9244416b1038e5fe16b5ce04d274f45d38

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 7fc56aaae38a0af1e3871c559eae5e2145bcf5b3e81f8b0dccbd607d18f44b8f
MD5 0ff17bec9a45f772af6df31b02689013
BLAKE2b-256 f174ff953643645e7a0f3de9c6270ac968e2bec8ad7551dc60e33ba729de8aca

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 bf46b895ee4faffd0cb1160b9b7f64681744add47da844404353dcba200e866e
MD5 4b39b2338ae048d87c68070af79216e8
BLAKE2b-256 c3ada1b218f1dc031f143439f63fb7d8b3746d12f1cfb72f9d88dfbe6dcf0e07

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for islpy-2022.2.1-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 66375356e8e8051ae0a9e7733f5dd882408fe26a1918d1342d899f730cf2a3ea
MD5 7a408c873205dd3504b35bcd13248733
BLAKE2b-256 1a2efb12876e001da52214276f5f50cb61cbc0a2273bbde298f31140ad54439a

See more details on using hashes here.

File details

Details for the file islpy-2022.2.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2022.2.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d4bfe854e1500c143f5ed019a30233f0dc29352b3891aac7739c29706b698064
MD5 f0d6b4ea8d69f8e65ac2280141de98ed
BLAKE2b-256 e0119e628424c1db4be533fcfaced50676ba64876d89075ffb84dd2e22e51b84

See more details on using hashes here.

File details

Details for the file islpy-2022.2.1-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for islpy-2022.2.1-cp37-cp37m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 a0eb339da3c025c67e088aadcb5123dc0bb00988e21ebfeb29a629dae2c1ecb9
MD5 cbecb8d2792682911dd1f178ded7740a
BLAKE2b-256 74ef5adfa6096e79f818be0bde5d4fe9027771dc0abd8e20073b233fc0c87932

See more details on using hashes here.

File details

Details for the file islpy-2022.2.1-cp37-cp37m-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2022.2.1-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 119cbfdfef5b862fca0445702cf62e2211b0a2953ec725da395902aac5a9c972
MD5 4e3fcada01fbb0dc774db7dd21ff9239
BLAKE2b-256 8441876669ec94dd1335501fede786c8294d2979324dde1499fe2e830288b2cc

See more details on using hashes here.

File details

Details for the file islpy-2022.2.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for islpy-2022.2.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 0917a10c30db0de781db8c2d631ddee4961128cc9ba8636a4deca73ec579fa68
MD5 217c9bfe570c3707f732a14250bddb29
BLAKE2b-256 f2ab213f6c9a05011695238018acad8e192070b45979164c86373b8e77fa0c25

See more details on using hashes here.

File details

Details for the file islpy-2022.2.1-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for islpy-2022.2.1-cp36-cp36m-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 24a94c2e6528fc0e44affe3525976ed3e0460b3164f0e88df8ac95edf02f7e4f
MD5 110de928414d8bcd9c73427e313f6c21
BLAKE2b-256 0a933ce7234c0c2e6aa35918b6a610de9e4e6ff9232f7cd41299adb13de2b945

See more details on using hashes here.

File details

Details for the file islpy-2022.2.1-cp36-cp36m-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: islpy-2022.2.1-cp36-cp36m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 4.8 MB
  • Tags: CPython 3.6m, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.3 readme-renderer/34.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.10 tqdm/4.64.0 importlib-metadata/4.8.3 keyring/23.4.1 rfc3986/1.5.0 colorama/0.4.5 CPython/3.6.8

File hashes

Hashes for islpy-2022.2.1-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 832b895609c94dc6e16586091bbd4818c23c4ec726fc71ffd4927dc04b76e264
MD5 36840b8adcc9acf4b57366acfeff65e8
BLAKE2b-256 a3d0a3172f0ed7ad8bed97e54f931d094c4e73bc8284a0c7748a92f0b7632a3c

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