z3 Versions (34)

Version Release Date Links
4.15.1 19 Jun 2025 Documentation
4.14.1 20 Mar 2025 Documentation
4.13.3 22 Oct 2024 Documentation
4.13.2 22 Oct 2024 Documentation
4.13.0-3 26 Jun 2024 Documentation
4.13.0-2 10 Jun 2024 Documentation
4.13.0-1 22 May 2024 Documentation
4.13.0 26 Mar 2024 Documentation
4.12.6 27 Feb 2024 Documentation
4.12.5 24 Jan 2024 Documentation
4.12.4 14 Dec 2023 Documentation
4.12.3 14 Dec 2023 Documentation
4.12.2-1 22 Jun 2023 Documentation
4.12.2 31 May 2023 Documentation
4.11.2 13 Sep 2022 Documentation
4.11.0 22 Aug 2022 Documentation
4.10.2 05 Aug 2022 Documentation
4.10.1 27 Jul 2022 Documentation
4.9.1 08 Jul 2022 Documentation
4.8.17 27 Jun 2022 Documentation
4.8.14 25 Jan 2022 Documentation
4.8.13 25 Jan 2022 Documentation
4.8.11 09 Jul 2021 Documentation
4.8.9-1 26 Apr 2021 Documentation
4.8.8-1 29 May 2020 Documentation
4.8.8 26 May 2020 Documentation
4.8.7 21 Jan 2020 Documentation
4.8.6 24 Oct 2019 Documentation
4.8.5-1 11 Oct 2023 Documentation
4.8.5 21 Oct 2020 Documentation
4.8.4 22 Dec 2018 Documentation
4.8.1 07 Nov 2018 Documentation
4.7.1 31 May 2018 Documentation
4.6 14 Jan 2018 Documentation