Adding new encoding for nqueens (It has a bug) + code refactoring + Adding new Bench...
[Benchmarks_CSolver.git] / killerSudoku /
drwxr-xr-x   ..
-rw-r--r-- 83 .gitignore
-rw-r--r-- 6831 KillerSudokuGenerator.py
-rw-r--r-- 1939 README.md
-rw-r--r-- 7744 SudokuGenerator.py
-rw-r--r-- 830000 Sudokus.txt
-rw-r--r-- 784 argprocessor.py
-rw-r--r-- 4211 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-- 10510 killerSolver.py
-rw-r--r-- 821 result
-rwxr-xr-x 174 run.sh
-rw-r--r-- 8088 sudokuSolver.py