{
  "name": "z3",
  "version": "4.8.14",
  "description": "Z3 is a theorem prover from Microsoft Research",
  "homepage": "https://github.com/Z3Prover/z3",
  "license": "MIT",
  "supports": "!uwp"
}