files / problems / ramsey-r55 / compute / q4
| .. | |
| certs/ | |
| logs/ | |
| cases.py | 3.8 KB |
| neighborhoods.py | 6.0 KB |
| probe_cubes.py | 1.8 KB |
| prove_cubes.py | 3.4 KB |
| prove_direct.py | 7.2 KB |
| README.md | 1.8 KB |
| run_all.sh | 806 B |
| run_batch.sh | 1.0 KB |
| solve_pysat.py | 2.2 KB |
| summarize.py | 2.8 KB |
| verify_direct.py | 2.7 KB |