Collecting pySMT==0.5.0
Downloading PySMT-0.5.0.tar.gz (176kB)
Building wheels for collected packages: pySMT
Stored in directory: /tmp/tmp4r6aok86
Successfully built pySMT