files / problems / caccetta-haggkvist-k3 / compute / q4
| .. | |
| certs/ | |
| build_solvers.sh | 822 B |
| count_obstruction.py | 18 KB |
| cyclic_soundness.py | 5.3 KB |
| dump_f_coords.py | 4.3 KB |
| encode.py | 881 B |
| extra_forms.py | 7.8 KB |
| holes.py | 2.4 KB |
| hunt_holes.py | 8.1 KB |
| hunt_threshold.py | 17 KB |
| README.md | 1.2 KB |
| regression.py | 1.9 KB |
| run_all.sh | 903 B |
| run_cubes.py | 4.3 KB |
| solve.py | 6.6 KB |
| trim_keep.py | 5.0 KB |
| trim_large.py | 1.2 KB |
| verify_keep.py | 3.4 KB |
| verify_model.py | 368 B |
| verify_q4_certificate.py | 3.3 KB |
| verify_range.py | 1.5 KB |