Python-Z3-NNVerif Short tutorial on Neural Net Verification in Python For breif introduction to Z3 API in Python, see https://ericpony.github.io/z3py-tutorial/guide-examples.htm Example of a verification paper: https://arxiv.org/pdf/1610.06940.pdf