-
MARCHE Claude authored
See https://github.com/Z3Prover/z3/releases Seems compatible with Z3 4.3.2
a8cfacb5
To find the state of this project's repository at the time of any of these versions, check out the tags.
See https://github.com/Z3Prover/z3/releases Seems compatible with Z3 4.3.2