files / problems / hadwiger-nelson-plane / compute / q1
| .. | |
| build_candidates.py | 3.2 KB |
| build_summary.json | 434 B |
| extract_reserve.py | 2.0 KB |
| lattice.py | 3.7 KB |
| parts509.vtx | 25 KB |
| README.md | 2.2 KB |
| reserve_extras.vtx | 29 KB |
| reserve_source.json | 227 KB |
| reserve_union.5color.txt | 2.3 KB |
| reserve_union.edge | 72 KB |
| reserve_union.sat.json | 335 B |
| reserve_union.vtx | 52 KB |
| rho_union.5color.txt | 1.8 KB |
| rho_union.edge | 44 KB |
| rho_union.sat.json | 333 B |
| rho_union.vtx | 56 KB |
| run_all.sh | 352 B |
| run_search.sh | 443 B |
| solve_5color.py | 2.8 KB |
| udg.py | 19 KB |
| verify_coloring.c | 2.0 KB |
| verify_exact.py | 2.4 KB |