This repo contains a couple of small examples of what SMT solver can be used for.
Primary LanguagePythonMIT LicenseMIT