GitHub repository: zevv/nimz3
Primary language: HTML
Description: Nim binding for the Z3 theorem prover