Mini-Project Final

Due: Friday, June 5 at 5:00 PM | 150 points

The final is due Friday June 5 at 17:00 and is worth 150 points. You submit code, a write-up, and a demo recording.

The final is graded in three equal pieces: code, write-up, and demo. Each is worth 50 points. Each line below is graded in three tiers: full credit, partial, or zero.

What to submit

Submit three things on Gradescope (group submission if you have a partner):

• Code. Repo or zip with a README that says how to run it. pip install -r requirements.txt && python ... should work without manual fixup.
• Write-up. 1-2 page PDF. Four short sections, ~one paragraph each.
• Demo recording. A 3-5 minute video showing the tool working on a real input. An MP4 upload or an unlisted YouTube link is fine.

Code (50 points)

We check three things: that the code runs without manual fixup, that it solves the problem your write-up describes, and that Z3 is doing the real work. If the same answer falls out of a few lines of plain Python, the solver is not load-bearing.

Write-up (50 points)

The write-up has four sections, one paragraph each, 1-2 pages total.

• Problem: what you solved, what the inputs and outputs are, and why a solver is the right tool.
• Encoding: how you modeled the problem in Z3, including the alternatives you considered and why you chose what you did.
• Beats naive: what the solver does that a naive approach can't. Be concrete.
• What I learned: honest reflection, including AI use attribution (which tools you used and for what).

Demo (50 points)

State the problem clearly in the first minute so a viewer who hasn't read the write-up can follow. Show the tool actually running on screen, not a slide deck. Include the "beats naive" moment: run the optimization, show the counterexample, display the synthesized output. Stay under five minutes.

Demo Day

Tuesday June 2, in class. Optional live slots for students who want to present in front of the class. Signup details to follow.

The recording is the graded artifact whether you present live or not. Presenting live does not affect your grade.

Submission

Gradescope, group submission if you have a partner. Standard grace window: Monday June 8 08:00.