MANHATTAN PROJECT

  1. Lecture on Automatic Model Generation

  2. Original Homework Assignment

  3. Teams and Their Task Description