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