{"package": "z3-solver", "summary": "an efficient SMT solver library", "pypi_url": "https://pypi.org/project/z3-solver", "piwheels_url": "https://www.piwheels.org/project/z3-solver", "releases": {"4.16.0.0": {"released": "2026-02-19 04:13:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.15.8.0": {"released": "2026-02-12 20:58:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.15.7.0": {"released": "2026-02-09 01:08:27", "prerelease": false, "yanked": true, "skip_reason": "", "files": {}}, "4.15.6.0": {"released": "2026-02-08 20:26:58", "prerelease": false, "yanked": true, "skip_reason": "", "files": {}}, "4.15.5.0": {"released": "2026-02-07 19:34:37", "prerelease": false, "yanked": true, "skip_reason": "", "files": {}}, "4.15.4.0": {"released": "2025-10-29 18:11:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.15.3.0": {"released": "2025-08-16 02:27:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.15.1.0": {"released": "2025-06-08 18:54:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.15.0.0": {"released": "2025-05-10 01:15:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.14.1.0": {"released": "2025-03-11 00:02:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.14.0.0": {"released": "2025-02-18 22:41:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.13.4.0": {"released": "2024-12-16 16:44:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.13.3.0": {"released": "2024-10-10 23:41:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.13.2.0": {"released": "2024-09-27 17:36:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.13.1.0": {"released": "2024-09-26 21:33:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.13.0.0": {"released": "2024-03-07 19:19:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.13.0.0-py2.py3-none-manylinux2014_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.13.0.0-py2.py3-none-manylinux2014_armv7l.whl", "filehash": "42ca35c0348a996776c777296f22e0354774e88944d344d73f446f8c0ee8d234", "filesize": 24921913, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "manylinux2014_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": ["importlib-resources"]}}}, "4.12.6.0": {"released": "2024-02-24 23:17:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.12.6.0-py2.py3-none-manylinux2014_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.12.6.0-py2.py3-none-manylinux2014_armv7l.whl", "filehash": "5c0946e277252a30518812ab6d271b5ed708e845638d99bd3503537c17d4579f", "filesize": 24755896, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "manylinux2014_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": ["importlib-resources"]}}}, "4.12.5.0": {"released": "2024-01-21 19:15:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.12.5.0-py2.py3-none-manylinux2014_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.12.5.0-py2.py3-none-manylinux2014_armv7l.whl", "filehash": "9a7d6a96ce61993f400860bd6ff25e1a89007dcbdef1a6d5189ddeef8abeda0e", "filesize": 24721576, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "manylinux2014_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": ["importlib-resources"]}}}, "4.12.4.0": {"released": "2023-12-06 15:59:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.12.4.0-py2.py3-none-manylinux2014_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.12.4.0-py2.py3-none-manylinux2014_armv7l.whl", "filehash": "1279d9f7e672fdc50f77b7126b24e3ece07b313374c0f9c6174a5c499a1df53c", "filesize": 24650310, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "manylinux2014_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": []}}}, "4.12.3.0": {"released": "2023-12-05 04:28:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.12.3.0-py2.py3-none-manylinux2014_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.12.3.0-py2.py3-none-manylinux2014_armv7l.whl", "filehash": "da80438962b28f45244431aa3da538526bc642bc43d81c9bc7f1f17bd016bd31", "filesize": 24649057, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "manylinux2014_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": []}}}, "4.12.2.0": {"released": "2023-05-12 20:43:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.12.2.0-py2.py3-none-manylinux2014_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.12.2.0-py2.py3-none-manylinux2014_armv7l.whl", "filehash": "9612e30b2c1cdf3cb518ebdc5d0195511f70e103d5b43fb1a26ab56ea650b34a", "filesize": 21214399, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux2014_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.12.1.0": {"released": "2023-01-18 03:51:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.12.1.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.12.1.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "3eaf44c5c00c18d55d5e0f6c330120563a97af02cd1b9f640419d0d78e69a1a4", "filesize": 21256970, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.12.0.0": {"released": "2023-01-14 15:03:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.12.0.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.12.0.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "fe10a846f751124d1b951128ab97594255acfc5c25614b95bee3a571c9c64095", "filesize": 21259342, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.11.2.0": {"released": "2022-09-03 23:26:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.11.2.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.11.2.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "ccc3e9da422eeaea0e68c4573cc64147e3c7a3f84cc68c072849e441a21b7082", "filesize": 20742905, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.11.1.0": {"released": "2022-08-23 16:52:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.11.1.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.11.1.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "a8360dc5d906522db411079b2f66191f648abb15e2d60fecb47e7892139bac61", "filesize": 20630199, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.11.0.0": {"released": "2022-08-18 22:37:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.11.0.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.11.0.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "9661e4c0867608fd0b0ea76babf4ae52726d5591de627a3d0606398f620191ef", "filesize": 20630485, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.10.2.0": {"released": "2022-07-29 22:13:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.10.2.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.10.2.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "90cd8689e0357104de8cd8bf8e71636193821ac968cd3befab3e2b7c23bbc41b", "filesize": 20517648, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.10.1.0": {"released": "2022-07-22 19:36:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.10.1.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.10.1.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "6a0993194b389a648ca7c6c201a51bc8b74d544e3db96127335d74227e57bd51", "filesize": 20514607, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.10.0.0": {"released": "2022-07-22 17:40:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.9.1.0": {"released": "2022-07-06 19:33:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.9.1.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.9.1.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "94c7f7d7871dbd141c1d6eafe606355212c7141021d13ca823807cb0045779dd", "filesize": 20479646, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.9.0.0": {"released": "2022-07-06 16:59:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.9.0.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.9.0.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "6c0ce8de2de7901cc2cef1479ee868d88b1eab1ad6fefc64623968db73d59fe8", "filesize": 20479597, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.8.17.0": {"released": "2022-05-05 01:03:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.17.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.17.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "80d0627d0b9f6a6b5ba135d4e400a506c39854947054bdf3e685e2c0660637b8", "filesize": 23381762, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": []}}}, "4.8.16.0": {"released": "2022-04-24 10:59:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.16.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.16.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "39044ee981091de00da51df05e501aa24cbb99f76b617993d0926c872972ac8c", "filesize": 23315231, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": []}}}, "4.8.15.0": {"released": "2022-03-20 21:04:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.15.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.15.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "2431c13a66c6ce481146fbab8b6e5d604806327f5c6cd60fc71a41d8163817ae", "filesize": 13679036, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libatomic1", "libstdc++6"], "pip_dependencies": []}}}, "4.8.14.0": {"released": "2021-12-23 21:24:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.14.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.14.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "75723a3c1dbb0842e22ddda44a7e20e2465dd1e4a1ef49c3612aac2a76198e45", "filesize": 12698867, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": []}}}, "4.8.13.0": {"released": "2021-11-19 00:47:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.13.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.13.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "7755b1d442584814807acac47c0d1cc5425452b4c1f0d3cd519aff2426716d53", "filesize": 13600916, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": []}}}, "4.8.12.0": {"released": "2021-07-13 14:11:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.12.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.12.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "9366a6fc19158e7c0c82c06b0e7fbfe49b029a8d31cb029cf8f0b7ac7bc19d00", "filesize": 13558105, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": []}}}, "4.8.11.0": {"released": "2021-07-10 21:18:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.11.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.11.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "669b026ade2249cb796838b5bbb808c2c4584e34523e6f2ea67970ca3729e2b8", "filesize": 13540909, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libstdc++6"], "pip_dependencies": []}}}, "4.8.10.0": {"released": "2021-01-20 20:41:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.10.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.10.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "28c921e7e58d733d914d669226405e0a3b406e5b9cd640011aecf07da19ec37c", "filesize": 21219643, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": null, "apt_dependencies": ["libc6", "libgcc1", "libstdc++6"], "pip_dependencies": []}}}, "4.8.9.0": {"released": "2020-09-11 00:56:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.9.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.9.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "8b942968c987fa5cfa8a6e5dd2400a34fe238a5499dfa78abe62d7cdbcd31c40", "filesize": 20603054, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": "", "apt_dependencies": ["libc6", "libgcc1", "libstdc++6"], "pip_dependencies": []}}}, "4.8.8.0": {"released": "2020-05-08 21:06:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.8.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.8.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "76ee96b0c8980ecd810c23f806fed10bdc7d9bfe97acb74d751a1804cb30b146", "filesize": 19798314, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": "", "apt_dependencies": ["libc6", "libgcc1", "libstdc++6"], "pip_dependencies": []}}}, "4.8.7.0": {"released": "2019-11-19 21:42:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.7.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.7.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "d818e9c4ae27b9c0549dd3797e9c1fb2ed78cf4a5c21cd461df38a68eb2165fa", "filesize": 18569978, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": "", "apt_dependencies": ["libc6", "libgcc1", "libstdc++6"], "pip_dependencies": []}}}, "4.8.6.0": {"released": "2019-09-20 00:55:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.6.0-py2.py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.6.0-py2.py3-none-manylinux1_armv7l.whl", "filehash": "c864bc5e0d6c521f6a2f7076ca8e1480c8387633c6b90c08a61e057feb31464d", "filesize": 18455053, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": "", "apt_dependencies": ["libc6", "libgcc1", "libstdc++6"], "pip_dependencies": []}}}, "4.8.5.0": {"released": "2019-05-06 20:02:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.8.5.0-py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.8.5.0-py3-none-manylinux1_armv7l.whl", "filehash": "2474ace7556755a94c6ce5620f6710993dc16e46369a8eff976cf14711243325", "filesize": 18155235, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": "", "apt_dependencies": ["libc6", "libgcc1", "libgomp1", "libstdc++6"], "pip_dependencies": []}}}, "4.8.0.0.post1": {"released": "2018-07-29 01:51:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "4.5.1.0.post2": {"released": "2017-06-08 07:54:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.5.1.0.post2-py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.5.1.0.post2-py3-none-manylinux1_armv7l.whl", "filehash": "4f34e93f24da932b9d638b3138c53d5227d7b4a0b0de0165b9a0ea1496c23714", "filesize": 16742484, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": "", "apt_dependencies": [], "pip_dependencies": []}}}, "4.5.1.0.post1": {"released": "2017-01-26 02:21:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.5.1.0.post1-py3-none-manylinux1_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.5.1.0.post1-py3-none-manylinux1_armv7l.whl", "filehash": "b69a0ba10570fc6a1e9bb7e1dc94d03add7a4d7b02ce29fe6f00d3eee73f2c1c", "filesize": 7801324, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "manylinux1_armv7l", "requires_python": "", "apt_dependencies": [], "pip_dependencies": []}}}, "4.5.1.0": {"released": "2016-11-10 19:46:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.5.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.5.1.0-py3-none-any.whl", "filehash": "2e94b83e88ba999ec12338763ba03ac8c468c66a1295e85211a14bb5d337c242", "filesize": 7458462, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": []}}}, "4.4.2.1.post1": {"released": "2016-10-11 07:38:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"z3_solver-4.4.2.1.post1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/z3-solver/z3_solver-4.4.2.1.post1-py3-none-any.whl", "filehash": "70df756e7077db6a6b60fdd53c8d168c2512c1cd21cabe5c1b11ded84349f950", "filesize": 7421597, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": []}}}, "4.4.2.1": {"released": "2016-10-11 07:28:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}}}