Skip to content

First tagged release

Compare
Choose a tag to compare
@shazqadeer shazqadeer released this 12 Nov 17:13
· 857 commits to master since this release

This release has been tested with Z3 version 4.8.5.