z3-solver Releases

4.14.1.0 March 11th, 2025 00:02
4.14.0.0 February 18th, 2025 22:41
4.13.4.0 December 16th, 2024 16:44
4.13.3.0 October 10th, 2024 23:41
4.13.2.0 September 27th, 2024 17:36
4.13.1.0 September 26th, 2024 21:33
4.13.0.0 March 7th, 2024 19:19
4.12.6.0 February 24th, 2024 23:17
4.12.5.0 January 21st, 2024 19:15
4.12.4.0 December 6th, 2023 15:59
4.12.3.0 December 5th, 2023 04:28
4.12.2.0 May 12th, 2023 20:45
4.12.1.0 January 18th, 2023 03:53
4.12.0.0 January 14th, 2023 15:05
4.11.2.0 September 3rd, 2022 23:28
4.11.1.0 August 23rd, 2022 16:54
4.11.0.0 August 18th, 2022 22:39
4.10.2.0 July 29th, 2022 22:15
4.10.1.0 July 22nd, 2022 19:38
4.10.0.0 July 22nd, 2022 17:42
4.9.1.0 July 6th, 2022 19:33
4.9.0.0 July 6th, 2022 16:59
4.8.17.0 May 5th, 2022 01:03
4.8.16.0 April 24th, 2022 10:59
4.8.15.0 March 20th, 2022 21:04
4.8.14.0 December 23rd, 2021 21:24
4.8.13.0 November 19th, 2021 00:47
4.8.12.0 July 13th, 2021 14:11
4.8.11.0 July 10th, 2021 21:18
4.8.10.0 January 20th, 2021 20:41

Subscribe to an RSS feed of z3-solver releases