Z3Prover/z3

GitHub

github.com

Releases58

Frequency2 months 3 weeks

Last Release about 8 hours ago

Stars12.3K

The Z3 Theorem Prover

Subscribe above to receive notifications when new versions are released.

Version	Date	Stability Stability is determined by the version string and my be inaccurate.
z3-4.11.0	Aug 18, 2022Thursday, 18 August 2022, 20:26	Unknown
z3-4.10.2	Jul 29, 2022Friday, 29 July 2022, 21:31	Unknown
z3-4.10.1	Jul 22, 2022Friday, 22 July 2022, 18:53	Unknown
z3-4.10.0	Jul 22, 2022Friday, 22 July 2022, 03:28	Unknown
z3-4.9.1	Jul 6, 2022Wednesday, 6 July 2022, 18:38	Unknown
z3-4.9.0	Jul 6, 2022Wednesday, 6 July 2022, 16:10	Unknown
z3-4.8.17	May 5, 2022Thursday, 5 May 2022, 00:16	Unknown
z3-4.8.16	Apr 24, 2022Sunday, 24 April 2022, 10:04	Unknown
z3-4.8.15	Mar 20, 2022Sunday, 20 March 2022, 20:25	Unknown
z3-4.8.14	Dec 23, 2021Thursday, 23 December 2021, 20:43	Unknown
z3-4.8.13	Nov 18, 2021Thursday, 18 November 2021, 20:00	Unknown
z3-4.8.12	Jul 13, 2021Tuesday, 13 July 2021, 13:25	Unknown
z3-4.8.11	Jun 4, 2021Friday, 4 June 2021, 22:54	Unknown
z3-4.8.10	Jan 20, 2021Wednesday, 20 January 2021, 20:06	Unknown
z3-4.8.9	Sep 10, 2020Thursday, 10 September 2020, 18:51	Unknown
z3-4.8.8	May 8, 2020Friday, 8 May 2020, 21:12	Unknown
z3-4.8.7	Nov 19, 2019Tuesday, 19 November 2019, 20:58	Unknown
z3-4.8.6	Sep 19, 2019Thursday, 19 September 2019, 23:43	Unknown
Z3-4.8.5	May 31, 2019Friday, 31 May 2019, 14:46	Unknown
z3-4.8.4	Dec 20, 2018Thursday, 20 December 2018, 18:32	Unknown
z3-4.8.3	Nov 19, 2018Monday, 19 November 2018, 20:23	Unknown
z3-4.8.1	Oct 15, 2018Monday, 15 October 2018, 19:52	Unknown
z3-4.7.1	May 22, 2018Tuesday, 22 May 2018, 17:19	Unknown
z3-4.6.0	Dec 18, 2017Monday, 18 December 2017, 18:37	Unknown
z3-4.5.0	Nov 7, 2016Monday, 7 November 2016, 23:12	Unknown

Previous123Next