piwheels

z4-solver

z3++

Installation

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

pip3 install z4-solver

Dependencies

• z3-solver

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
2024.12.14.1	2024-12-14
z4_solver-2024.12.14.1-py3-none-any.whl (16 KB)
2024.12.14	2024-12-14
z4_solver-2024.12.14-py3-none-any.whl (16 KB)
2023.12.6	2023-12-06
z4_solver-2023.12.6-py3-none-any.whl (15 KB)
2022.12.18.1	2022-12-18
z4_solver-2022.12.18.1-py3-none-any.whl (15 KB)
2022.12.18.0	2022-12-18
z4_solver-2022.12.18.0-py3-none-any.whl (15 KB)
2021.12.25.1	2021-12-25
z4_solver-2021.12.25.1-py3-none-any.whl (15 KB)
2021.12.25.0	2021-12-25
z4_solver-2021.12.25.0-py3-none-any.whl (14 KB)
2019.10.12.2	2019-10-12
z4_solver-2019.10.12.2-py3-none-any.whl (14 KB)
2019.10.12.1	2019-10-12
z4_solver-2019.10.12.1-py3-none-any.whl (14 KB)
2019.10.12	2019-10-12
z4_solver-2019.10.12-py3-none-any.whl (2 KB)

Issues with this package?

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