projects / Benchmarks_CSolver.git / tree
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 78 | .gitignore | blob | history | raw |
| -rwxr-xr-x | 1488 | 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 | 24147 | 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 |
| -rwxr-xr-x | 950 | learn.sh | 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 | 227 | run.sh | blob | history | raw |