CS202 Assignment 1 - Sudoko solver and sudoko puzzle generator Assignment 2 - SAT Solver By Tanmay Anand and Umang Malik