Sudoku_AND_SatSolver An open source project to creating Sudoku and translates it to SAT problem. And I implemented a basic MiniSAT solver in C language.