Resources on Z3 Python API May 4, 2020 If you find any another interesting links, feel free to send me an email. From basics to advanced usage with examples Full API documentation Programming Z3, with some theory