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