Assignments
CARS has three kinds of assignments: reading reflections, coding assignments, and a mini-project. One is due every Friday at 5:00 PM. See the Syllabus for grading and collaboration policies, and the Schedule for due dates.
Reading Reflections
4 reflections (50 points each). Pick one article, write a short reflection, discuss in class.
Coding Assignments
4 assignments (150 points each). Write solver-aided code in Python using Z3.
Project
A mini-project in two parts: milestone (50 points) and final (150 points). Partners encouraged.