files / problems / ramsey-r55 / compute / q5
| .. | |
| certs/ | |
| logs/ | |
| cases.py | 4.3 KB |
| neighborhoods.py | 6.0 KB |
| probe_cubes.py | 1.8 KB |
| prove_cubes.py | 3.4 KB |
| prove_direct.py | 9.6 KB |
| README.md | 1.8 KB |
| run_all.sh | 806 B |
| run_batch.sh | 1.1 KB |
| run_priority.sh | 694 B |
| solve_pysat.py | 2.2 KB |
| summarize.py | 2.8 KB |
| verify_direct.py | 3.1 KB |