Z3 Theorem Prover

https://github.com/z3prover/z3

The Z3 Theorem Prover

Tokens:127,267
Snippets:614
Trust Score:6.9
License:MIT
Update:7 months ago
Tokens:
Raw