BMC-based non-linear horn clauses solver based on z3py
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.