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