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