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