Assignments
- Class ParticipationClosedDue Dec 13, 2015 at 11:59pm20 Points Possible
- Proving Program Correctness in DafnyClosedDue Dec 10, 2015 at 11:59pm10 Points Possible
- SAT Competition BonusClosedDue Dec 9, 2015 at 11:59pm10 Points Possible
- SAT SolverClosedDue Nov 16, 2015 at 11:59am20 Points Possible
- Evaluating utilities from coreutilsClosedDue Sep 29, 2015 at 11:59pm10 Points Possible
- Writing Good AssertionsClosedDue Sep 20, 2015 at 11:59pm10 Points Possible
- Improved Triangle ClassifierClosedDue Sep 11, 2015 at 11:59pm10 Points Possible
- Code Review for Triangle ClassifiersClosedDue Sep 8, 2015 at 11:59pm10 Points Possible
- Triangle ClassifierClosedDue Aug 31, 2015 at 11:59am10 Points Possible