isl库的包装器,用于操作整数点和由线性约束界定的关系集
项目描述
islpy是Sven Verdoolaege的isl库的Python包装器,该库用于操作由线性约束界定的整数点和关系集。
支持在集合上执行的操作包括
交集、并集、集合差、
空检查、
凸包、
(整数)仿射包、
整数投影、
使用参数整数规划计算字典序最小值、
合并,以及
参数顶点枚举。
它还包括一个基于广义基减少的ILP求解器、映射上的传递闭包(可能编码无限图)、依赖分析以及分段步多项式的界限。
Islpy附带全面的文档。
要求:islpy需要C++编译器进行构建。它可以选择使用GMP以支持大整数。
关于islpy,需要了解的一个重要事项是它暴露了isl中在头文件中可见的所有函数,而不仅仅是isl的作者认为文档化的、公共API(由__isl_export标记)。这些(技术上)未记录的函数在islpy文档中有标记。其中许多对于某些操作非常有用且必不可少,但isl的API稳定性保证不适用于它们。请自行承担风险使用它们。
项目详情
关闭
islpy-2024.2.tar.gz 的哈希
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 52d4dc4f020894cb93636f64744c087df58ab9f97676d8f1dcb4d510249bc7ab |
|
MD5 | c354bc0e59ff929369467621eb68cc3e |
|
BLAKE2b-256 | e09433d7569c22067891fbcba4cdf6b0d2c22e83c03080450fd0504a29a0158d |
关闭
islpy-2024.2-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl 的哈希
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 5519e12ba0b15f5b1744e035433a2d2efc528f5f2405aeca76a624544eca94dc |
|
MD5 | ec11fdafcfe980b2a66320ae415243cd |
|
BLAKE2b-256 | 2e6bc6eaaedee0d0b63663f912e15bf446fbd3708f36ff5c9127b3e99f2764af |
关闭
islpy-2024.2-pp310-pypy310_pp73-macosx_11_0_arm64.whl 的哈希
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 60bd2d28ada0f0b823973760c0aedfd2b61dd54547c57c5046fe338328a02f96 |
|
MD5 | fde81be8939537de8d70e8144d58d7fa |
|
BLAKE2b-256 | ae3dac8fb74cd50f0905a52fe6dda9a8da9d013f00ebf62b2f8eee8176397fd7 |
关闭
islpy-2024.2-pp310-pypy310_pp73-macosx_10_15_x86_64.whl 的哈希
算法 | 哈希摘要 | |
---|---|---|
SHA256 | a206c43e14f14f538136aa36b3912eff5cc00243df7e1ed8df10381c5cea67d1 |
|
MD5 | f50baa497e579fac07fe16170df07d22 |
|
BLAKE2b-256 | c063ea6c33111a353906c98729768413d1ce1ba38a10bdbfeedf6b5e26c483dc |
关闭
islpy-2024.2-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl 的哈希
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 48677c4f001f53b009224dd03c700d20923b86254a3c40a47b49d37d4952735d |
|
MD5 | ebe42ce0fad8e9199c2259ff077bf286 |
|
BLAKE2b-256 | 03b55049d20b822af924ec77fcdf825e47b59a4110fa36b5491a61be50e6723e |
关闭
islpy-2024.2-pp39-pypy39_pp73-macosx_11_0_arm64.whl 的哈希
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 1f1410b53df80f44b975bd71d18cff2e412640c5fec8e8fd0370099eb93690b4 |
|
MD5 | 109bfebef8bb46ae83361e29b4f3e810 |
|
BLAKE2b-256 | 0faa13dc46f9f49e78664f9b2c4d6a9895da1239b05f10714957aed30de0683d |
关闭
islpy-2024.2-pp39-pypy39_pp73-macosx_10_15_x86_64.whl 的哈希
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 9f3f81b851e1fe1f59c1040b612ee1657bf56564fe6e690dacf837396982bf65 |
|
MD5 | ef037b47a22324db3e85e69d2ac444e3 |
|
BLAKE2b-256 | 8c8ebd4d7eb7126f5c24dbcb5d1f094c1a30d928bf7a0fe8822d9df898051f2a |
关闭
islpy-2024.2-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl 的哈希
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 472b15dabf8ae4182b1ffccfa2b97d7be06612373bfe1edd9f6323ef97b88f73 |
|
MD5 | 5a9bbdf9a50164459455ad239d9c9f59 |
|
BLAKE2b-256 | 5aa9bfd5956f7aeede3d90ec9c1d90a808394783ab13bfafba77a410dc9ea732 |
关闭
哈希值 for islpy-2024.2-pp38-pypy38_pp73-macosx_11_0_arm64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | dae591f9eb8b29a563117a2ad012791de2256fc4dce15d3a1b09702867641352 |
|
MD5 | 5fe505885e20b2b3434423d470f4f05a |
|
BLAKE2b-256 | d2e70a4edfe092f759eb065c96a23c77468aea74de7dc82b7310acd75a764c4a |
关闭
哈希值 for islpy-2024.2-pp38-pypy38_pp73-macosx_10_14_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 07b92a6bf4c91e196180969a9ba6c46dc8495ba29155b30b6fa3d686ffea2fec |
|
MD5 | 54e3f1a4b6bb4893fb3dbe27ef96cced |
|
BLAKE2b-256 | b0cf2a3b80407f4398b28e214699ca6fe0b49eda46b0bdfedf517fac861e71b7 |
关闭
哈希值 for islpy-2024.2-cp312-cp312-musllinux_1_2_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | f8433cc22dedd2b58e116c7d0c1840bd526ee7bf7a1821bc049bde30eec48015 |
|
MD5 | 1ed57a3aaa5c29fe49ccd1c593e2f7d7 |
|
BLAKE2b-256 | c899ba356139b4c9069b43de176cbae32127e2c0985c6c54c7f12071cce8a19b |
关闭
哈希值 for islpy-2024.2-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | f951f7aa4876fc85a4b6bd98b03ac64de4ccdb2703e00511b49e358aab5e240e |
|
MD5 | f6c4337117718d6c69a71270097286eb |
|
BLAKE2b-256 | f1e6869d7b3a75b82ead1843b4508c22c738404c96d19efbc3ba70b90b1bdef8 |
关闭
哈希值 for islpy-2024.2-cp312-cp312-macosx_11_0_arm64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | eaba06ee3ddea61ff3fbd193787b2703c71730b7bdf6c3ca1fbae8976a49d83a |
|
MD5 | b8ee920163ea22c503f9be42f2346210 |
|
BLAKE2b-256 | 28522524dabac3b246f3996cb5a714772fb16850b913e4cce8ba0eef8f5825cd |
关闭
哈希值 for islpy-2024.2-cp312-cp312-macosx_10_14_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | c9e07f58bb64bba092ad194f47a5faadacb3cb1f5b8d30004d007cb7775605fd |
|
MD5 | 09f2f96b53268b61879b97b9052639c4 |
|
BLAKE2b-256 | 92b90e7d8cf1a2abf657dc0a294e8294d94127dbed90b0e0fcd872df73585407 |
关闭
哈希值 for islpy-2024.2-cp311-cp311-musllinux_1_2_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | a5ca0458d636f038544ef8171f35a5245eec688375d2bd2c9c3120834a32a849 |
|
MD5 | 021ee0edf2ba824e47ffc043cfbd38d2 |
|
BLAKE2b-256 | bfcd0ee571dcea74753fb5029820a0200675fb2522ca8fab648fed3d0fc05157 |
关闭
哈希值 for islpy-2024.2-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 08ee6f1cce54424beea88773d45e2ac72968690ca0c3f50de9fffe41a8b5d3bb |
|
MD5 | a6e0bdc23bca3f1503c2a5739a088c59 |
|
BLAKE2b-256 | 59e8cc6df14010dda9139f2701e9a58f7b6584b86736d5b2b9f062301cb8ef14 |
关闭
哈希值 for islpy-2024.2-cp311-cp311-macosx_11_0_arm64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | d428dfa313422ad191cf3ab404b0b1250f57c52595c0aaf6d5560c8845ac6d31 |
|
MD5 | 044190e82042fb7315a04e9dd39e113f |
|
BLAKE2b-256 | 3cdabf56951b68608abf1be6a5e78754ce22e8d06abfd98bdba392a3a63b5d95 |
关闭
哈希值 for islpy-2024.2-cp311-cp311-macosx_10_14_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | c0b555fe58a9e5fc81ee358936b5a0bd8ae4f22bb9e09fe99ec335485b5e37b9 |
|
MD5 | a73f8cf8f735cb4842aa447465bd0544 |
|
BLAKE2b-256 | e93aa2e4927d0679665c7f28d330357a2862ed479ca9e2278c6aaf00f7fc2b57 |
关闭
哈希值 for islpy-2024.2-cp310-cp310-musllinux_1_2_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | ca27de6f71279c65ad79d07d7cb80c57e78894a5c786f3c31687e081b81c7fcc |
|
MD5 | 1d7eda814c7e4559188cd1d64f3f9793 |
|
BLAKE2b-256 | 536feb411d80f84451123721da91f7e749474323c4626681156a5368d538a2b5 |
关闭
哈希值 for islpy-2024.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | e07b053938cb06af25629b11d5e2145592a2dbcb1437059e25a914adf5f61307 |
|
MD5 | 091173dacf0fb5879998c9aff1e8f8ff |
|
BLAKE2b-256 | ba1f2fbf8e10c2708511ae333429b9a92b3d921d6d677ad492bc29ca563d0a97 |
关闭
哈希值 for islpy-2024.2-cp310-cp310-macosx_11_0_arm64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 7cb0a398e1f8511c2345ecc2ebd260fb2ba19e0a8126de33569996a9b115b822 |
|
MD5 | 1eb803fba23c3d76c66f142efca83dd2 |
|
BLAKE2b-256 | a9c5417681f2b3a03c71dc23d62cfdac029562782d358f752be5d3940cb3809d |
关闭
哈希值 用于 islpy-2024.2-cp310-cp310-macosx_10_14_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 86ea2e320f6ef25ae150dedaa30c4e3f4b752a5c9fd8a9464d7c69c9382ffd73 |
|
MD5 | c94a51d05cf59f10a3da3c3ec85825c2 |
|
BLAKE2b-256 | fce6f0a4d548d17b75cfc26f45535a3c5d3acd1a77a70ae77ac19e62e67945c2 |
关闭
哈希值 用于 islpy-2024.2-cp39-cp39-musllinux_1_2_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 3eb82832c544a2823fc1f2ada403a36d01527540f7e86794159a08b5df237a99 |
|
MD5 | d164cb3e24bccc44d897d33c014290ff |
|
BLAKE2b-256 | fff52671412dfcc1e9d31e46539d28eb7e51019256be70b97e15fe87b8367bf2 |
关闭
哈希值 用于 islpy-2024.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 3273608ba8471a59c95e58d7b78539c26ddaec8176eb338fed1b4ea9bc42f973 |
|
MD5 | 9dac701d437fa95b044a56e288f7dd1c |
|
BLAKE2b-256 | e58ffc61b19618898935538a4c061d031c060f48f0f3de2e1629ec437b2ecc5b |
关闭
哈希值 用于 islpy-2024.2-cp39-cp39-macosx_10_14_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 38249b3d371ddb6f1e9f7a9d1dadb918f6f810716b8562866affcc94e46a08c8 |
|
MD5 | ab8eda20972ca5395bf75579d7e1bfb9 |
|
BLAKE2b-256 | af8a1bb88308f73a745d6240e94448d7c628c42e4a81729937a1e2e55df4af1d |
关闭
哈希值 用于 islpy-2024.2-cp38-cp38-musllinux_1_2_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 04232afdb4d4939ec1267a382d680ef9da3d88cdffac0d195c77989dc1acb38a |
|
MD5 | 925f2238d7b062d30143a8676f8e8aa3 |
|
BLAKE2b-256 | 33f0ac0a89b82d3bfefa795e64b5f18aaa7cc34243c36cc0f970715a6a67b853 |
关闭
哈希值 用于 islpy-2024.2-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 9254416c29991e6f8fa0cb8af6c75c98d78f83247ff61a12a5b4e2a22ab954c4 |
|
MD5 | 8404bc53b8def83b7cd8381e9aeb74f0 |
|
BLAKE2b-256 | 167a230c42ccd4730f7b5bcc8784ee5e31ab2c3d180b4b87c4257ecb18b27f4e |
关闭
哈希值 用于 islpy-2024.2-cp38-cp38-macosx_10_14_x86_64.whl
算法 | 哈希摘要 | |
---|---|---|
SHA256 | 43680fa163b244740e27c19fc0a84c337fefc0505fb7a9c3a4cc2ddf66cddba1 |
|
MD5 | b61abc6c616db86cf26e51a6729c0799 |
|
BLAKE2b-256 | 8a0fd770578e7400c440ec3ecfce33eeaf1201d2325a8b4d0bf6b3a1edf99866 |