Final Project

This is the final project, building up the Z3 integration of MiniDafny.

You should download Z3.hs. This file contains the template for the exercise - unlike previous assignments, this one is more open ended, you’re free to structure your solution as you see fit. Submission instructions will follow–but you will need to upload a zip file with all your code (or at least Printer, Parser, Eval, VCGen, and Z3) to Gradescope.

The deadline for this is the final day of classes.