SMT solving exercise

  1. Team up in groups of size 2. (Optional.)

  2. Clone https://github.com/mernst/smt-solving-exercise and read its ASSIGNMENT.md file.

  3. The deliverable is a plain-text file with your answers to the questions above. One team member should upload the deliverables to Canvas. Please list all group members.