projects / Benchmarks_CSolver.git / tree
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 72 | .gitignore | blob | history | raw |
| -rwxr-xr-x | 1330 | 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 | 596 | parse.sh | blob | history | raw |
| -rw-r--r-- | 9311 | readme.md | blob | history | raw |
| -rw-r--r-- | 94 | result.csv | blob | history | raw |
| -rwxr-xr-x | 174 | run.sh | blob | history | raw |