files / problems / hadwiger-nelson-plane / compute / q2
| .. | |
| build_summary.json | 176 B |
| build.py | 1.6 KB |
| README.md | 1.1 KB |
| rho3_union.5color.txt | 2.7 KB |
| rho3_union.edge | 69 KB |
| rho3_union.sat.json | 334 B |
| rho3_union.vtx | 92 KB |
| run_all.sh | 280 B |
| run_search.sh | 323 B |
| verify_exact.py | 1.7 KB |