Assignment 1: Syntax-Guided Synthesis

GitHub Classroom Link: Accept the assignment

Deadline: April 2, 5:00 PM

Assignment 2: Inductive Learning

GitHub Classroom Link: Accept the assignment

Deadline: May 28, 5:00 PM