This repository has been archived by the owner on Apr 11, 2019. It is now read-only.
Releases: smaccm/z3-plugin-test
Releases · smaccm/z3-plugin-test
Z3 Plugin 4.8.4
Z3 Plugin 4.8.3
Eclipse plugin containing binaries for Z3 Prover version 4.8.3.
Z3 Plugin 4.8.1
Eclipse plugin containing binaries for Z3 Prover version 4.8.1.
Z3 Plugin 4.7.1
Eclipse plugin containing binaries for Z3 Prover version 4.7.1.
Z3 Plugin 4.6.0
Eclipse plugin containing binaries for Z3 Prover version 4.6.0.
Z3 Plugin 4.5.0
Eclipse plugin containing binaries for Z3 Prover version 4.5.0.