smt-examples This repo contains a couple of small examples of what SMT solver can be used for. Requirements Python 3.7 requirements.txt Setup Python environment with CLI python -m venv <venv_name> .\<venv_name>\Scripts\activate python -m pip install -r requirements.txt Run the program python main.py -e all