Releases: TorXakis/Dependencies
Releases · TorXakis/Dependencies
v0.3.0_linux
cvc4-1.5-x86_64-linux-opt
z3-4.5.1.0f1583309d08-x64-ubuntu-14.04.zip
z3-4.8.7
ubuntu-14 no longer supported by z3, so we have to move to ubuntu-16 as well.
z3-4.8.5-nightly
We can't use 4.8.4 due to a bug (see Z3Prover/z3#2071).
This bug is sufficiently solved in this nightly build.
z3-4.8.5
Create README.md
z3-4.7.1
Create README.md
z3-4.6.0
Create README.md
z3-4.5.1.1f29cebd4df6-x64-win
Create README.md
z3-4.5.1
Create README.md
z3-4.5.0-x86-win
Create README.md
cvc4_1.7
Create README.md