Microsoft.Z3.x64 $(releaseVersion) © Microsoft Corporation. All rights reserved. Microsoft https://raw.githubusercontent.com/Z3Prover/z3/$(releaseCommitHash)/package/icon.jpg https://github.com/Z3Prover/z3 https://raw.githubusercontent.com/Z3Prover/z3/$(releaseCommitHash)/LICENSE.txt true Z3 is a satisfiability modulo theories solver from Microsoft Research. smt constraint solver theorem prover en