GitHub repository: mitchellh/go-z3
Primary language: Go
Description: Go (golang) bindings to the Z3 SMT Solver