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