files / problems / hadwiger-nelson-plane / compute / q4
| .. | |
| build_summary.json | 298 B |
| build.py | 2.6 KB |
| README.md | 1.5 KB |
| rho4_combined.5color.txt | 4.8 KB |
| rho4_combined.edge | 148 KB |
| rho4_combined.sat.json | 338 B |
| rho4_combined.vtx | 156 KB |
| run_all.sh | 291 B |
| run_search.sh | 332 B |
| verify_extension.py | 3.2 KB |