GitHub repository: DigitalCoffee/SAT-based-Sudoku-Solver
Primary language: Python
Created: 2015-11-20T01:01:33Z
Description: Converts an input string to DIMACS format to be run through miniSAT. The output of miniSAT is parsed an a solution is prettyprinted.