git+https://github.com/pysmt/pysmt.git
configparser==4.0.2
pyinstaller
