Functional SMT solving with Z3 and Racket
Redirecting you to the repository on GitHub.
Click here
if it doesn't happen automatically.