noot / doc

Documentation

Z3 Documentation

Z3 is a high-performance theorem prover being developed at Microsoft Research.

Documentation

MIT License

Language:HTML 72.8%Language:TeX 20.2%Language:SMT 3.9%Language:Python 2.6%Language:Jupyter Notebook 0.4%Language:JavaScript 0.1%Language:CSS 0.1%