Learning materials Summarized tutorial from the authors Programming Z3, guide from Microsoft Research Python API documentation