Z3Prover/z3

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.
last-pure-unstable	Oct 5, 2015Monday, 5 October 2015, 13:19	Stable
z3-4.4.1	Oct 5, 2015Monday, 5 October 2015, 12:10	Unknown
last-pure-pure	Oct 5, 2015Monday, 5 October 2015, 13:23	Unknown
z3-4.4.0	Apr 29, 2015Wednesday, 29 April 2015, 14:58	Unknown
z3-4.3.2	Oct 24, 2014Friday, 24 October 2014, 22:57	Unknown
z3-4.3.1	Nov 14, 2012Wednesday, 14 November 2012, 05:49	Unknown
z3-4.3.0	Nov 11, 2012Sunday, 11 November 2012, 03:03	Unknown
z3-4.1.1	Oct 2, 2012Tuesday, 2 October 2012, 21:49	Unknown