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