Dirk end to end analysis
[Benchmarks_CSolver.git] / killerSudoku /
drwxr-xr-x   ..
-rw-r--r-- 106 .gitignore
-rw-r--r-- 6972 KillerSudokuGenerator.py
-rw-r--r-- 1939 README.md
-rw-r--r-- 7744 SudokuGenerator.py
-rw-r--r-- 830000 Sudokus.txt
-rw-r--r-- 208605 alloy_example_output.xml
-rw-r--r-- 1413 argprocessor.py
-rwxr-xr-x 1780 bench.sh
-rw-r--r-- 9415 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-- 1661 glucose.py
-rwxr-xr-x 975024 glucose_static
-rw-r--r-- 10578 killerSolver.py
-rwxr-xr-x 1093 learn.sh
-rwxr-xr-x 795 parse.sh
-rw-r--r-- 230 result.csv
-rwxr-xr-x 227 run.sh
-rw-r--r-- 113103 satune.smt
-rw-r--r-- 8088 sudokuSolver.py
drwxr-xr-x - testcase