Skip to content

First tagged release

Choose a tag to compare

View all tags
@shazqadeer shazqadeer released this 12 Nov 17:13
· 975 commits to master since this release
v2.4.1
c099a60

This release has been tested with Z3 version 4.8.5.

Assets 3
Loading