files / problems / hadwiger-nelson-plane / compute / q3
| .. | |
| build_summary.json | 234 B |
| build.py | 2.9 KB |
| combined_union.5color.txt | 3.9 KB |
| combined_union.edge | 122 KB |
| combined_union.sat.json | 340 B |
| combined_union.vtx | 119 KB |
| README.md | 1.5 KB |
| run_all.sh | 297 B |
| run_search.sh | 335 B |
| verify_decomposition.py | 3.2 KB |