Z3 is a high-performance theorem prover being developed at Microsoft Research.
- C++ API
- .NET API
- Java API
- Python API (also available in pydoc format)
Documentation
Z3 is a high-performance theorem prover being developed at Microsoft Research.
Documentation
MIT License