gitaskhub
mitchellh/go-z3↗

Go (golang) bindings to the Z3 SMT Solver

Stars · 148
Language · Go
License · MIT
Ask anything about this repo to start.

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).