Assignment 1: Syntax-Guided Synthesis

GitHub Classroom Link: Accept the assignment

Deadline: March 6, 11:59 PM

Assignment 2: Inductive Learning

GitHub Classroom Link: Accept_the_assignment

Deadline: April 24, 11:59 PM