Homework 1: Fun with SMT

• Questions
• Handy files: puzzle_utils.py, q2.py, q3x.py, and z3mat.py.
• Other resources: course resource page
• Due: Oct. 5, 11:59pm

Homework 2: Everything else

• Questions
• Free python: add.py
• Due: Dec. 6, 11:59pm