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