##CS202 - Mathematics for Computer Science (Logic)
There were two assignments in this course :
-> Sudoku Pair : Solver and Generator
->SAT Solver
-> To write a k-sudoku puzzle pair solver and generator by encoding the problem to propositional logic and solving it via a SAT solver.
-> Implement a SAT solver.