Fixing the hexiom bug for UNARY encoding
[Benchmarks_CSolver.git] / killerSudoku /
drwxr-xr-x   ..
-rw-r--r-- 83 .gitignore
-rw-r--r-- 6968 KillerSudokuGenerator.py
-rw-r--r-- 1939 README.md
-rw-r--r-- 7744 SudokuGenerator.py
-rw-r--r-- 830000 Sudokus.txt
-rw-r--r-- 953 argprocessor.py
-rwxr-xr-x 1415 bench.sh
-rw-r--r-- 4268 csolversudoku.py
drwxr-xr-x - data
drwxr-xr-x - dataset-cs
-rw-r--r-- 1934 eval.py
-rw-r--r-- 162 example
-rw-r--r-- 124506 example.cnf
-rw-r--r-- 342 example.killer
-rw-r--r-- 10570 killerSolver.py
-rwxr-xr-x 606 parse.sh
-rw-r--r-- 83 result.csv
-rwxr-xr-x 174 run.sh
-rw-r--r-- 8088 sudokuSolver.py
drwxr-xr-x - testcase