files / problems / ramsey-r55 / compute / q3
| .. | |
| certs/ | |
| logs/ | |
| archive_p7_proofs.py | 3.5 KB |
| p7_neighborhoods.py | 8.0 KB |
| prove_p7_cubes.py | 3.2 KB |
| README.md | 2.9 KB |
| run_all.sh | 997 B |
| solve_pysat.py | 2.2 KB |
| summarize.py | 3.9 KB |
| verify_direct_p7.py | 2.3 KB |
| verify_p7_proofs.py | 5.4 KB |