跳转到主要内容

isl库的包装器,用于操作整数点和由线性约束界定的关系集

项目描述

Gitlab Build Status Github Build Status Python Package Index Release Page Zenodo DOI for latest release

islpy是Sven Verdoolaege的isl库的Python包装器,该库用于操作由线性约束界定的整数点和关系集。

支持在集合上执行的操作包括

  • 交集、并集、集合差、

  • 空检查、

  • 凸包、

  • (整数)仿射包、

  • 整数投影、

  • 使用参数整数规划计算字典序最小值、

  • 合并,以及

  • 参数顶点枚举。

它还包括一个基于广义基减少的ILP求解器、映射上的传递闭包(可能编码无限图)、依赖分析以及分段步多项式的界限。

Islpy附带全面的文档

要求:islpy需要C++编译器进行构建。它可以选择使用GMP以支持大整数。

关于islpy,需要了解的一个重要事项是它暴露了isl中在头文件中可见的所有函数,而不仅仅是isl的作者认为文档化的、公共API(由__isl_export标记)。这些(技术上)未记录的函数在islpy文档中有标记。其中许多对于某些操作非常有用且必不可少,但isl的API稳定性保证不适用于它们。请自行承担风险使用它们。

项目详情


下载文件

下载适合您平台的文件。如果您不确定选择哪个,请了解有关安装包的更多信息。

源分发

islpy-2024.2.tar.gz (1.4 MB 查看哈希值)

上传时间

构建分发

islpy-2024.2-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB 查看哈希值)

上传时间 PyPy manylinux: glibc 2.17+ x86-64

islpy-2024.2-pp310-pypy310_pp73-macosx_11_0_arm64.whl (2.2 MB 查看哈希值)

上传时间 PyPy macOS 11.0+ ARM64

islpy-2024.2-pp310-pypy310_pp73-macosx_10_15_x86_64.whl (2.8 MB 查看哈希值)

上传时间 PyPy macOS 10.15+ x86-64

islpy-2024.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB 查看哈希值)

上传时间 PyPy manylinux: glibc 2.17+ x86-64

islpy-2024.2-pp39-pypy39_pp73-macosx_11_0_arm64.whl (2.2 MB 查看哈希值)

上传于 PyPy macOS 11.0+ ARM64

islpy-2024.2-pp39-pypy39_pp73-macosx_10_15_x86_64.whl (2.8 MB 查看哈希值)

上传于 PyPy macOS 10.15+ x86-64

islpy-2024.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB 查看哈希值)

上传于 PyPy manylinux: glibc 2.17+ x86-64

islpy-2024.2-pp38-pypy38_pp73-macosx_11_0_arm64.whl (2.2 MB 查看哈希值)

上传于 PyPy macOS 11.0+ ARM64

islpy-2024.2-pp38-pypy38_pp73-macosx_10_14_x86_64.whl (2.8 MB 查看哈希值)

上传于 PyPy macOS 10.14+ x86-64

islpy-2024.2-cp312-cp312-musllinux_1_2_x86_64.whl (3.0 MB 查看哈希值)

上传于 CPython 3.12 musllinux: musl 1.2+ x86-64

islpy-2024.2-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB 查看哈希值)

上传于 CPython 3.12 manylinux: glibc 2.17+ x86-64

islpy-2024.2-cp312-cp312-macosx_11_0_arm64.whl (2.6 MB 查看哈希值)

上传于 CPython 3.12 macOS 11.0+ ARM64

islpy-2024.2-cp312-cp312-macosx_10_14_x86_64.whl (2.9 MB 查看哈希值)

上传于 CPython 3.12 macOS 10.14+ x86-64

islpy-2024.2-cp311-cp311-musllinux_1_2_x86_64.whl (3.0 MB 查看哈希值)

上传于 CPython 3.11 musllinux: musl 1.2+ x86-64

islpy-2024.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB 查看哈希值)

上传时间 CPython 3.11 manylinux: glibc 2.17+ x86-64

islpy-2024.2-cp311-cp311-macosx_11_0_arm64.whl (2.6 MB 查看哈希值)

上传时间 CPython 3.11 macOS 11.0+ ARM64

islpy-2024.2-cp311-cp311-macosx_10_14_x86_64.whl (2.8 MB 查看哈希值)

上传时间 CPython 3.11 macOS 10.14+ x86-64

islpy-2024.2-cp310-cp310-musllinux_1_2_x86_64.whl (3.0 MB 查看哈希值)

上传时间 CPython 3.10 musllinux: musl 1.2+ x86-64

islpy-2024.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB 查看哈希值)

上传时间 CPython 3.10 manylinux: glibc 2.17+ x86-64

islpy-2024.2-cp310-cp310-macosx_11_0_arm64.whl (2.6 MB 查看哈希值)

上传时间 CPython 3.10 macOS 11.0+ ARM64

islpy-2024.2-cp310-cp310-macosx_10_14_x86_64.whl (2.8 MB 查看哈希值)

上传时间 CPython 3.10 macOS 10.14+ x86-64

islpy-2024.2-cp39-cp39-musllinux_1_2_x86_64.whl (3.0 MB 查看哈希值)

上传时间 CPython 3.9 musllinux: musl 1.2+ x86-64

islpy-2024.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB 查看哈希值)

上传时间 CPython 3.9 manylinux: glibc 2.17+ x86-64

islpy-2024.2-cp39-cp39-macosx_11_0_arm64.whl (2.6 MB 查看哈希值)

上传时间 CPython 3.9 macOS 11.0+ ARM64

islpy-2024.2-cp39-cp39-macosx_10_14_x86_64.whl (2.8 MB 查看哈希值)

上传于 CPython 3.9 macOS 10.14+ x86-64

islpy-2024.2-cp38-cp38-musllinux_1_2_x86_64.whl (3.0 MB 查看哈希)

上传于 CPython 3.8 musllinux: musl 1.2+ x86-64

islpy-2024.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.8 MB 查看哈希)

上传于 CPython 3.8 manylinux: glibc 2.17+ x86-64

islpy-2024.2-cp38-cp38-macosx_11_0_arm64.whl (2.6 MB 查看哈希)

上传于 CPython 3.8 macOS 11.0+ ARM64

islpy-2024.2-cp38-cp38-macosx_10_14_x86_64.whl (2.8 MB 查看哈希)

上传于 CPython 3.8 macOS 10.14+ x86-64

由以下机构支持