HW 2: Students' Choice
In this assignment you will take on one of two challenging tasks. You may either solve component wiring problems using a SAT solver, or you may write an Inform 7 implementation of a vending machine. Hopefully your writeup will make it clear which problem you are solving.