GitHub repository: pietroppeter/nimz3
Description: Nim binding for the Z3 theorem prover