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