piwheels

z3-solver

an efficient SMT solver library

Installation

In a virtualenv (see these instructions if you need to create one):

sudo apt install libstdc++6
pip3 install z3-solver

Dependencies

• importlib-resources

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
5.1.0.0	2026-08-16
5.0.0.0	2026-07-17
4.16.0.0	2026-02-19
4.15.8.0	2026-02-12
4.15.7.0 yanked	2026-02-09
4.15.6.0 yanked	2026-02-08
4.15.5.0 yanked	2026-02-07
4.15.4.0	2025-10-29
4.15.3.0	2025-08-16
4.15.1.0	2025-06-08
4.15.0.0	2025-05-10
4.14.1.0	2025-03-11
4.14.0.0	2025-02-18
4.13.4.0	2024-12-16
4.13.3.0	2024-10-10
4.13.2.0	2024-09-27
4.13.1.0	2024-09-26
4.13.0.0	2024-03-07
z3_solver-4.13.0.0-py2.py3-none-manylinux2014_armv7l.whl (24 MB)
4.12.6.0	2024-02-24
z3_solver-4.12.6.0-py2.py3-none-manylinux2014_armv7l.whl (24 MB)
4.12.5.0	2024-01-21
z3_solver-4.12.5.0-py2.py3-none-manylinux2014_armv7l.whl (24 MB)
4.12.4.0	2023-12-06
z3_solver-4.12.4.0-py2.py3-none-manylinux2014_armv7l.whl (24 MB)
4.12.3.0	2023-12-05
z3_solver-4.12.3.0-py2.py3-none-manylinux2014_armv7l.whl (24 MB)
4.12.2.0	2023-05-12
z3_solver-4.12.2.0-py2.py3-none-manylinux2014_armv7l.whl (20 MB)
4.12.1.0	2023-01-18
z3_solver-4.12.1.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.12.0.0	2023-01-14
z3_solver-4.12.0.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.11.2.0	2022-09-03
z3_solver-4.11.2.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.11.1.0	2022-08-23
z3_solver-4.11.1.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.11.0.0	2022-08-18
z3_solver-4.11.0.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.10.2.0	2022-07-29
z3_solver-4.10.2.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.10.1.0	2022-07-22
z3_solver-4.10.1.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.10.0.0	2022-07-22
4.9.1.0	2022-07-06
z3_solver-4.9.1.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.9.0.0	2022-07-06
z3_solver-4.9.0.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.8.17.0	2022-05-05
z3_solver-4.8.17.0-py2.py3-none-manylinux1_armv7l.whl (22 MB)
4.8.16.0	2022-04-24
z3_solver-4.8.16.0-py2.py3-none-manylinux1_armv7l.whl (22 MB)
4.8.15.0	2022-03-20
z3_solver-4.8.15.0-py2.py3-none-manylinux1_armv7l.whl (13 MB)
4.8.14.0	2021-12-23
z3_solver-4.8.14.0-py2.py3-none-manylinux1_armv7l.whl (12 MB)
4.8.13.0	2021-11-19
z3_solver-4.8.13.0-py2.py3-none-manylinux1_armv7l.whl (13 MB)
4.8.12.0	2021-07-13
z3_solver-4.8.12.0-py2.py3-none-manylinux1_armv7l.whl (13 MB)
4.8.11.0	2021-07-10
z3_solver-4.8.11.0-py2.py3-none-manylinux1_armv7l.whl (13 MB)
4.8.10.0	2021-01-20
z3_solver-4.8.10.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.8.9.0	2020-09-11
z3_solver-4.8.9.0-py2.py3-none-manylinux1_armv7l.whl (20 MB)
4.8.8.0	2020-05-08
z3_solver-4.8.8.0-py2.py3-none-manylinux1_armv7l.whl (19 MB)
4.8.7.0	2019-11-19
z3_solver-4.8.7.0-py2.py3-none-manylinux1_armv7l.whl (18 MB)
4.8.6.0	2019-09-20
z3_solver-4.8.6.0-py2.py3-none-manylinux1_armv7l.whl (18 MB)
4.8.5.0	2019-05-06
z3_solver-4.8.5.0-py3-none-manylinux1_armv7l.whl (17 MB)
4.8.0.0.post1	2018-07-29
4.5.1.0.post2	2017-06-08
z3_solver-4.5.1.0.post2-py3-none-manylinux1_armv7l.whl (16 MB)
4.5.1.0.post1	2017-01-26
z3_solver-4.5.1.0.post1-py3-none-manylinux1_armv7l.whl (7 MB)
4.5.1.0	2016-11-10
z3_solver-4.5.1.0-py3-none-any.whl (7 MB)
4.4.2.1.post1	2016-10-11
z3_solver-4.4.2.1.post1-py3-none-any.whl (7 MB)
4.4.2.1	2016-10-11

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue