Assignments
CARS has three assignment workstreams: Reading, Coding, and Project. See the Syllabus for course policies, and the Schedule for week-by-week timing.
Reading
Four reading reflections spread across the quarter. Pick one article, write a short response, and discuss it in class.
Coding
Four coding assignments building solver-aided code in Python using Z3.
Project
One mini-project in two parts: milestone and final. Partners are encouraged.