Assignments
- Final ReportClosedDue May 10, 2016 at 11:59pm50 Points Possible
- Final PresentationClosedDue Apr 21, 2016 at 2pm30 Points Possible
- Assignment 3: Proving Correctness in DafnyClosedDue Mar 8, 2016 at 11:59pm20 Points Possible
- Project ProposalClosedDue Feb 23, 2016 at 11:59pm10 Points Possible
- Assignment 2: Encoding the KenKen puzzle into SMTClosedDue Feb 11, 2016 at 11:59pm10 Points Possible
- Assignment 1: Encoding the n-Queens Problem into SATClosedDue Jan 27, 2016 at 11:59pm10 Points Possible