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