GitHub repository: BBlashko/CSC320-SATSolver
Primary language: Python
Created: 2015-07-25T23:15:54Z
Description: CSC320 sudoku solver. (SAT Solver)