Skip to content

Releases: JuliaBinaryWrappers/z3_jll.jl

z3-v4.13.4+0

20 Dec 00:56
@jlbuild jlbuild
z3-v4.13.4+0
655ee74
Compare
Choose a tag to compare
z3-v4.13.4+0 Latest
Latest 
z3_jll build 4.13.4+0
Assets 306

z3-v4.13.3+0

29 Oct 23:25
@jlbuild jlbuild
z3-v4.13.3+0
0ff5ae4
Compare
Choose a tag to compare
z3-v4.13.3+0 
z3_jll build 4.13.3+0
Assets 306
Loading

z3-v4.13.2+0

01 Oct 17:51
@jlbuild jlbuild
z3-v4.13.2+0
ae7cfe5
Compare
Choose a tag to compare
z3-v4.13.2+0 
z3_jll build 4.13.2+0
Assets 306
Loading

z3-v4.13.0+2

13 Jun 21:37
@jlbuild jlbuild
z3-v4.13.0+2
a26cfa5
Compare
Choose a tag to compare
z3-v4.13.0+2 
z3_jll build 4.13.0+2
Assets 306
Loading

z3-v4.13.0+1

06 Apr 16:45
@jlbuild jlbuild
z3-v4.13.0+1
aa24fe1
Compare
Choose a tag to compare
z3-v4.13.0+1 
z3_jll build 4.13.0+1
Assets 268
Loading

z3-v4.13.0+0

01 Apr 22:23
@jlbuild jlbuild
z3-v4.13.0+0
237efbb
Compare
Choose a tag to compare
z3-v4.13.0+0 
z3_jll build 4.13.0+0
Assets 230
Loading

z3-v4.12.6+0

26 Feb 00:07
@jlbuild jlbuild
z3-v4.12.6+0
32449a5
Compare
Choose a tag to compare
z3-v4.12.6+0 
z3_jll build 4.12.6+0
Assets 230
Loading

z3-v4.12.4+0

13 Dec 15:17
@jlbuild jlbuild
z3-v4.12.4+0
b2f3942
Compare
Choose a tag to compare
z3-v4.12.4+0 
z3_jll build 4.12.4+0
Assets 230
Loading

z3-v4.12.1+0

20 Feb 22:44
@jlbuild jlbuild
z3-v4.12.1+0
ed2a33f
Compare
Choose a tag to compare
z3-v4.12.1+0 
z3_jll build 4.12.1+0
Assets 230
Loading

z3-v4.11.2+1

18 Nov 15:27
@jlbuild jlbuild
z3-v4.11.2+1
1eeec6b
Compare
Choose a tag to compare
z3-v4.11.2+1 
z3_jll build 4.11.2+1
Assets 230
Loading