Collecting pySMT==0.2.4.dev
Downloading PySMT-0.2.4.dev.tar.gz (99kB)
Building wheels for collected packages: pySMT
Stored in directory: /tmp/tmpjksnfe9z
Successfully built pySMT