Z3

https://github.com/z3prover/doc

Z3 is a high-performance theorem prover developed at Microsoft Research that supports multiple...

Tokens:99,734
Snippets:719
Trust Score:6.6
License:MIT
Update:4 months ago
Tokens:
Raw