BC3997: Program Synthesis Hi Mark! Homework 1 A brute-force inductive synthesizer for arithmetic expressions. Homework 2 A top-down type-directed synthesizer for simple list operations in Haskell. See comments for details on implementation and issues. Homework 3 Solving the Zebra Problem with SMT-LIBv2. Homework 4 Using Rosette