No Description

Uploaded	Thu May 21 21:56:30 2015
md5 checksum	90de7a6115dd36993b45bee594b1831a
arch	x86_64
build	py27_0
depends	python 2.7*
home_page	https://github.com/Z3Prover/z3
license	MIT
name	z3
platform	osx
subdir	osx-64
version	4.4.0