z3-solver
an efficient SMT solver library
5.1.0.0
6.1M downloads/mo
#1971 most downloaded on PyPI
Z3Prover/z3
What this package is like to depend on
Last release 4 days ago
16 Aug 2026
Ships fairly regularly
a new release about every 2 months
No release notes found
nothing matched a version
3 versions withdrawn
withdrawn after publishing
10 years old
52 releases · first in 2016
8 releases in the last 12 months
see the full history below
Release timeline
52 releases · Oct 2016 to Aug 2026Releases
latest 52-
5.1.0.016 Aug 2026Nothing published for this version
-
5.0.0.017 Jul 2026Nothing published for this version
-
4.16.0.019 Feb 2026Nothing published for this version
-
4.15.8.012 Feb 2026Nothing published for this version
-
4.15.7.009 Feb 2026 withdrawnit is missing linux wheels
Nothing published for this version
-
4.15.6.008 Feb 2026 withdrawnit is missing linux wheels
Nothing published for this version
-
4.15.5.007 Feb 2026 withdrawnit is missing linux wheels
Nothing published for this version
-
4.15.4.029 Oct 2025Nothing published for this version
-
4.15.3.016 Aug 2025Nothing published for this version
-
4.15.1.008 Jun 2025Nothing published for this version
-
4.15.0.010 May 2025Nothing published for this version
-
4.14.1.011 Mar 2025Nothing published for this version
-
4.14.0.018 Feb 2025Nothing published for this version
-
4.13.4.016 Dec 2024Nothing published for this version
-
4.13.3.010 Oct 2024Nothing published for this version
-
4.13.2.027 Sep 2024Nothing published for this version
-
4.13.1.026 Sep 2024Nothing published for this version
-
4.13.0.007 Mar 2024Nothing published for this version
-
4.12.6.024 Feb 2024Nothing published for this version
-
4.12.5.021 Jan 2024Nothing published for this version
-
4.12.4.006 Dec 2023Nothing published for this version
-
4.12.3.005 Dec 2023Nothing published for this version
-
4.12.2.012 May 2023Nothing published for this version
-
4.12.1.018 Jan 2023Nothing published for this version
-
4.12.0.014 Jan 2023Nothing published for this version
-
4.11.2.003 Sep 2022Nothing published for this version
-
4.11.1.023 Aug 2022Nothing published for this version
-
4.11.0.018 Aug 2022Nothing published for this version
-
4.10.2.029 Jul 2022Nothing published for this version
-
4.10.1.022 Jul 2022Nothing published for this version
-
4.10.0.022 Jul 2022Nothing published for this version
-
4.9.1.006 Jul 2022Nothing published for this version
-
4.9.0.006 Jul 2022Nothing published for this version
-
4.8.17.005 May 2022Nothing published for this version
-
4.8.16.024 Apr 2022Nothing published for this version
-
4.8.15.020 Mar 2022Nothing published for this version
-
4.8.14.023 Dec 2021Nothing published for this version
-
4.8.13.019 Nov 2021Nothing published for this version
-
4.8.12.013 Jul 2021Nothing published for this version
-
4.8.11.010 Jul 2021Nothing published for this version
-
4.8.10.020 Jan 2021Nothing published for this version
-
4.8.9.011 Sep 2020Nothing published for this version
-
4.8.8.008 May 2020Nothing published for this version
-
4.8.7.019 Nov 2019Nothing published for this version
-
4.8.6.020 Sep 2019Nothing published for this version
-
4.8.5.006 May 2019Nothing published for this version
-
4.8.0.0.post129 Jul 2018Nothing published for this version
-
4.5.1.0.post208 Jun 2017Nothing published for this version
-
4.5.1.0.post126 Jan 2017Nothing published for this version
-
4.5.1.010 Nov 2016Nothing published for this version
-
4.4.2.1.post111 Oct 2016Nothing published for this version
-
4.4.2.111 Oct 2016Nothing published for this version