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