projects / Benchmarks_CSolver.git / commit
| author | Hamed Gorjiara <hgorjiar@uci.edu> | |
| Wed, 1 Aug 2018 00:26:07 +0000 (17:26 -0700) | ||
| committer | Hamed Gorjiara <hgorjiar@uci.edu> | |
| Wed, 1 Aug 2018 00:26:07 +0000 (17:26 -0700) | ||
| commit | 4a35e8aa7565ae6ebd2de2787105fd2e1282d9ee | |
| tree | eea002e715d3be0deeb61ea393e7e789f6b10801 | tree | snapshot |
| parent | 8a02ea1a528a707b61b5824e7b067368fb3e4290 | commit | diff |
| hexiom/.gitignore | [new file with mode: 0644] | blob |
| hexiom/clean.sh | [new file with mode: 0755] | blob |
| hexiom/cryptominisat | [new file with mode: 0755] | blob |
| hexiom/csolver | [new symlink] | blob |
| hexiom/csolverHexiom.py | [new file with mode: 0755] | blob |
| hexiom/glucose_static | [new file with mode: 0755] | blob |
| hexiom/hardpuzzles/level36.txt | [new file with mode: 0644] | blob |
| hexiom/hardpuzzles/level38.txt | [new file with mode: 0644] | blob |
| hexiom/hexiom_config.py | [new file with mode: 0644] | blob |
| hexiom/hexiom_solve.py | [new file with mode: 0755] | blob |
| hexiom/levels/level00.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level01.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level02.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level03.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level04.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level05.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level06.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level07.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level08.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level09.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level10.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level11.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level12.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level13.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level14.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level15.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level16.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level17.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level18.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level19.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level20.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level21.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level22.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level23.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level24.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level25.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level26.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level27.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level28.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level29.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level30.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level31.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level32.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level33.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level34.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level35.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level36.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level37.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level38.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level39.txt | [new file with mode: 0644] | blob |
| hexiom/levels/level40.txt | [new file with mode: 0644] | blob |
| hexiom/lingeling | [new file with mode: 0755] | blob |
| hexiom/readme.md | [new file with mode: 0644] | blob |
| hexiom/run.sh | [new file with mode: 0755] | blob |