piwheels - z3-solver

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

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Files
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

Page last updated 2025-03-11 01:49:13 UTC

	Build succeeded
	Build failed
	Build skipped
	Build pending

z3-solver

Installation

Releases

Issues with this package?

Key