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