Nim binding for the Z3 theorem prover - View it on GitHub