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