projects / Benchmarks_CSolver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d98af2) | patch
Bugfix for Sudoku solver + Using Glucose instead of Pycosat
authorHamed Gorjiara <hgorjiar@uci.edu>
Thu, 6 Sep 2018 20:57:56 +0000 (13:57 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Thu, 6 Sep 2018 20:57:56 +0000 (13:57 -0700)
commit457ddef68a9d8645a925201aafb28a3c144b34df
treedfef480ef21c498ca17e66914b7e645d44518955tree | snapshot
parent3d98af244fad635846ac827ce6d1a456bdee7eb2commit | diff
Bugfix for Sudoku solver + Using Glucose instead of Pycosat
sudoku-csolver/.gitignore diff | blob | history
sudoku-csolver/Sudoku.py diff | blob | history
sudoku-csolver/csolversudoku.py diff | blob | history
sudoku-csolver/glucose.py [new file with mode: 0644] blob
sudoku-csolver/glucose_static [new file with mode: 0755] blob
sudoku-csolver/parse.sh diff | blob | history
sudoku-csolver/solved/36x36.sol diff | blob | history
sudoku-csolver/solved/9x9.sol diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.