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