8000 Releases · Z3Prover/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Releases: Z3Prover/z3

Z3 4.5.0

07 Nov 23:18
@wintersteiger wintersteiger
z3-4.5.0
d57a2a6
Compare
Choose a tag to compare
Z3 4.5.0

Official release Z3 4.5.0.

Loading

Z3 4.4.1

05 Oct 13:32
@wintersteiger wintersteiger
z3-4.4.1
95c9ccb
Compare
Choose a tag to compare
Z3 4.4.1

Official release Z3 4.4.1.

Loading

Z3 4.4.0

29 Apr 16:15
@wintersteiger wintersteiger
z3-4.4.0
7f6ef0b
Compare
Choose a tag to compare
Z3 4.4.0

Official release Z3 4.4.0.

Loading

Z3 4.3.2

13 Apr 09:36
@wintersteiger wintersteiger
z3-4.3.2
cee7dd3
Compare
Choose a tag to compare
Z3 4.3.2

Official release binary Z3 4.3.2 (Windows x86 and x64).

Loading

Z3 4.3.1

13 Apr 09:50
@wintersteiger wintersteiger
z3-4.3.1
89c1785
Compare
Choose a tag to compare
Z3 4.3.1

Source release of Z3 version 4.3.1.

Loading

Z3 4.3.0

13 Apr 09:52
@wintersteiger wintersteiger
z3-4.3.0
a6db55d
Compare
Choose a tag to compare
Z3 4.3.0

Source release of Z3 version 4.3.0.

Loading

Z3 4.1.1

13 Apr 09:52
@wintersteiger wintersteiger
z3-4.1.1
ae15953
Compare
Choose a tag to compare
Z3 4.1.1

Source release of Z3 version 4.1.1.

Loading
0