项目描述 ：
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).

高级语言： Java

项目主页：

项目地址: git://github.com/adityagupta1089/Sudoku-Solver-by-CSP-and-Minisat.git

创建时间： 2017-05-11T06:23:25Z
项目社区：https://github.com/adityagupta1089/Sudoku-Solver-by-CSP-and-Minisat
开源协议：
下载