drwxr-xr-x | .. | ||
-rw-r--r-- | 71 | .gitignore | blob | history | raw |
-rw-r--r-- | 6652 | 4x4.dump | blob | history | raw |
-rw-r--r-- | 266 | Makefile | blob | history | raw |
-rw-r--r-- | 1217 | Readme.md | blob | history | raw |
-rw-r--r-- | 8172 | Sudoku.py | blob | history | raw |
-rw-r--r-- | 3852 | SudokuGenerator.java | blob | history | raw |
-rw-r--r-- | 17669 | alloy_example_output.xml | blob | history | raw |
-rwxr-xr-x | 1669 | bench.sh | blob | history | raw |
-rw-r--r-- | 5173 | csolversudoku.py | blob | history | raw |
-rwxr-xr-x | 707 | difficultgen.sh | blob | history | raw |
drwxr-xr-x | - | experiment | tree | history |
-rw-r--r-- | 1661 | glucose.py | blob | history | raw |
-rwxr-xr-x | 975024 | glucose_static | blob | history | raw |
-rwxr-xr-x | 1324 | learn.sh | blob | history | raw |
-rwxr-xr-x | 771 | parse.sh | blob | history | raw |
drwxr-xr-x | - | problems | tree | history |
-rwxr-xr-x | 227 | run.sh | blob | history | raw |
-rw-r--r-- | 790979 | satune.smt | blob | history | raw |
drwxr-xr-x | - | solved | tree | history |
drwxr-xr-x | - | testcase | tree | history |