drwxr-xr-x | .. | ||
-rw-r--r-- | 78 | .gitignore | blob | history | raw |
-rwxr-xr-x | 1457 | bench.sh | blob | history | raw |
-rwxr-xr-x | 78 | clean.sh | blob | history | raw |
-rwxr-xr-x | 5378612 | cryptominisat | blob | history | raw |
lrwxrwxrwx | 10 | csolver -> ../../bin/ | blob | history | raw |
-rwxr-xr-x | 23533 | csolverHexiom.py | blob | history | raw |
-rwxr-xr-x | 975024 | glucose_static | blob | history | raw |
drwxr-xr-x | - | hardpuzzles | tree | history |
-rw-r--r-- | 980 | hexiom_config.py | blob | history | raw |
-rwxr-xr-x | 21235 | hexiom_solve.py | blob | history | raw |
drwxr-xr-x | - | levels | tree | history |
-rwxr-xr-x | 341560 | lingeling | blob | history | raw |
-rwxr-xr-x | 785 | parse.sh | blob | history | raw |
-rw-r--r-- | 9311 | readme.md | blob | history | raw |
-rwxr-xr-x | 174 | run.sh | blob | history | raw |