Re-enable Z3 4.5.0 for better interpolation#536

baierd merged 7 commits intososy-lab:z3_legacysosy-lab/java-smt:z3_legacyfrom

leventeBajczi:z3-4.5.0leventeBajczi/java-smt:z3-4.5.0Copy head branch name to clipboard