Skip to content

z3-4.8.7
Compare
Choose a tag to compare
@pjljvandelaar pjljvandelaar released this 06 Jan 16:29
· 2 commits to master since this release
z3-4.8.7
2f85935

ubuntu-14 no longer supported by z3, so we have to move to ubuntu-16 as well.

Assets 12
Loading