Z3prover-walkthrough

Open in Google Colab

Source

• Open Source Code: https://github.com/Z3Prover/z3
• Data Structures in Python: https://z3prover.github.io/api/html/namespacez3py.html
• Python Package: https://pypi.org/project/z3-solver/
• Python Examples (1): https://github.com/Z3Prover/z3/tree/master/examples/python
• Python Examples (2): https://www.csa.iisc.ac.in/~deepakd/logic-2021/
• Tutorial in Python (1): https://ericpony.github.io/z3py-tutorial/guide-examples.htm
• Tutorial in Python (2): https://github.com/philzook58/z3_tutorial