|Assignment||Date Assigned||Date Due||Link to Solutions|
|Homework 1: (pdf) (Data for problem 7) (LaTeX source for HW)||09/07/06||09/26/06||(pdf1), (pdf2)|
Data for problem 2: contains three test cases and a high level description of the code in sudoku_pseudocode.cpp.
SMV file for problem 4
Instructions on how to get NuSMV or Cadence SMV running.
|Homework 4: (pdf)||11/17/06||12/07/06|
Typed homework is not required, but we don't discourage it. It is your responsibility to make sure your handin is legible.