·
785 commits
to master
since this release
This Vampire is very similar to the version that competed in CASC-J12.
Linked against Z3 4.12.3, commit 79bbbf76d0c123481c8ca05cd3a98939270074d3.