Sudoku Solver by constraint satisfaction problem (CSP) using heuristics - Minimum Remaining Value (MRV), Least Common Value (LCV), Maintainin Arc Consistency (MAC). Secondly, by converting to Satisfiability Problem (SAT) and using a sat solver (miniSAT).
constraint-satisfaction-problem
sudoku-solver
sudoku
minisat
sat
minimum-remaining-values
least-common-values
maintaining-arc-consistency
-
Updated
May 11, 2017 - Java