Adding new encoding for nqueens (It has a bug) + code refactoring + Adding new Bench...
[Benchmarks_CSolver.git] / sudoku-csolver /
drwxr-xr-x   ..
-rw-r--r-- 52 .gitignore
-rw-r--r-- 266 Makefile
-rw-r--r-- 1217 Readme.md
-rw-r--r-- 6746 Sudoku.py
-rw-r--r-- 3852 SudokuGenerator.java
-rw-r--r-- 4187 csolversudoku.py
-rw-r--r-- 5002 csolversudoku.pyc
drwxr-xr-x - dumps
drwxr-xr-x - out
drwxr-xr-x - problems
-rwxr-xr-x 174 run.sh
drwxr-xr-x - solved