Coding Assignment 1: SAT Solving
Due: Friday, April 10 at 5:00 PM | 150 points
Content will be posted before the assignment opens.
Coding Assignments
Four assignments across the quarter, each building on what you learn in lecture. You will write solver-aided code in Python using Z3, starting with SAT solving and working through theory solvers, SMT, and verification.
All coding assignments are individual work. You may discuss problems at a high level with classmates and use AI tools with attribution. See the Syllabus for the full collaboration policy.
Coding Assignment 2: Theory Solvers
Due: Friday, April 24 at 5:00 PM | 150 points
Content will be posted before the assignment opens.
Coding Assignment 3: SMT
Due: Friday, May 8 at 5:00 PM | 150 points
Content will be posted before the assignment opens.
Coding Assignment 4: Verification
Due: Friday, May 22 at 5:00 PM | 150 points
Content will be posted before the assignment opens.