Bug#781563: ITP: z3 -- Z3 is a theorem prover

[Madars Virza <madars@mit.edu>]

Package: wnpp
Severity: wishlist
Owner: Madars Virza <madars@mit.edu>

* Package name    : z3
  Version         : 4.3.2
  Upstream Author : Microsoft Research
* URL             : https://github.com/Z3Prover/z3
* License         : MIT
  Programming Lang: C++
  Description     : Z3 is a theorem prover

Z3 is a high-performance theorem prover from Microsoft Research.