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