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