K 10
svn:author
V 4
feld
K 8
svn:date
V 27
2015-09-22T15:43:18.159856Z
K 7
svn:log
V 156
Z3 is a high-performance theorem prover developed
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3

PR:		202136
Submitted by:	6yearold@gmail.com

END