The deadline for this problem set is Wednesday, October 28 at 9pm.
Submit your work on Gradescope at Problem Set 6.
Problem Set 6
SAT with CNF
Before you start this problem set
Please fill out a survey about the time you spent on Problem Set 5.
Download
The structure here follows that of previous psets: read pset06_definitions.dfy to see our supporting definitions on Boolean formula conversion, complete pset06.dfy with your edits of the functions we point you toward, and use pset06_validator.dfy to confirm you’re done.
Previously
Problem Set 3 has the instructions for how to check your work.
Problem Set 5 has recommended Dafny VS Code settings, suggestions for debugging proofs that are timing out, and a note about partial credit.