Assignment 1: Syntax-Guided Synthesis

GitHub Classroom Link: Accept the assignment

Deadline: March 6, 11:59 PM