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