Mentions légales du service
See https://github.com/Z3Prover/z3/releases Seems compatible with Z3 4.3.2