No Description

Uploaded	Fri May 22 18:40:02 2015
md5 checksum	d9b9781096aea4ad66a2b0e7a8e2ed92
arch	x86_64
build	py34_0
depends	python 3.4*
home_page	https://github.com/Z3Prover/z3
license	MIT
name	z3
platform	osx
subdir	osx-64
version	4.4.0