GitHub repository: pj4746/sudoku
Primary language: C++
Created: 2019-03-16T02:01:11Z
Description: Use dpll algorithm to solve Satisfiability Problem and put it on sudoku solving