z3-solver 4.16.0.0


pip install z3-solver

  Latest version

Released: Feb 19, 2026
Navigation
Project Links
Meta
Author: The Z3 Theorem Prover Project
Maintainer: Audrey Dutcher and Nikolaj Bjorner
Classifiers

Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.

For documentation, please read http://z3prover.github.io/api/html/z3.html

4.16.0.0 Feb 19, 2026
4.15.8.0 Feb 12, 2026
4.15.7.0 Feb 09, 2026
4.15.6.0 Feb 08, 2026
4.15.5.0 Feb 07, 2026
4.15.4.0 Oct 29, 2025
4.15.3.0 Aug 16, 2025
4.15.1.0 Jun 08, 2025
4.15.0.0 May 10, 2025
4.14.1.0 Mar 11, 2025
4.14.0.0 Feb 18, 2025
4.13.4.0 Dec 16, 2024
4.13.3.0 Oct 10, 2024
4.13.2.0 Sep 27, 2024
4.13.1.0 Sep 26, 2024
4.13.0.0 Mar 07, 2024
4.12.6.0 Feb 24, 2024
4.12.5.0 Jan 21, 2024
4.12.4.0 Dec 06, 2023
4.12.3.0 Dec 05, 2023
4.12.2.0 May 12, 2023
4.12.1.0 Jan 18, 2023
4.12.0.0 Jan 14, 2023
4.11.2.0 Sep 03, 2022
4.11.1.0 Aug 23, 2022
4.11.0.0 Aug 18, 2022
4.10.2.0 Jul 29, 2022
4.10.1.0 Jul 22, 2022
4.10.0.0 Jul 22, 2022
4.9.1.0 Jul 06, 2022
4.9.0.0 Jul 06, 2022
4.8.17.0 May 05, 2022
4.8.16.0 Apr 24, 2022
4.8.15.0 Mar 20, 2022
4.8.14.0 Dec 23, 2021
4.8.13.0 Nov 19, 2021
4.8.12.0 Jul 13, 2021
4.8.11.0 Jul 10, 2021
4.8.10.0 Jan 20, 2021
4.8.9.0 Sep 11, 2020
4.8.8.0 May 08, 2020
4.8.7.0 Nov 19, 2019
4.8.6.0 Sep 20, 2019
4.8.5.0 May 06, 2019
4.8.0.0.post1 Jul 29, 2018
4.5.1.0.post2 Jun 08, 2017
4.5.1.0.post1 Jan 26, 2017
4.5.1.0 Nov 10, 2016
4.4.2.1.post1 Oct 11, 2016
4.4.2.1 Oct 11, 2016

Wheel compatibility matrix

Platform Python 3
macosx_15_0_arm64
macosx_15_0_x86_64
manylinux_2_27_x86_64
manylinux_2_38_aarch64
win32
win_amd64
win_arm64

Files in release

Extras: None
Dependencies:
importlib-resources