/go-z3

Go (golang) bindings to the Z3 SMT Solver

Primary LanguageGoMIT LicenseMIT

Stargazers