files / problems / caccetta-haggkvist-k3 / compute / q28
| .. | |
| certs/ | |
| adopt_scratch.py | 2.4 KB |
| build_solvers.sh | 822 B |
| count_obstruction.py | 18 KB |
| cyclic_soundness.py | 5.3 KB |
| encode.py | 881 B |
| holes.py | 8.6 KB |
| hunt_holes.py | 8.3 KB |
| README.md | 999 B |
| regression.py | 1.9 KB |
| run_all.sh | 685 B |
| run_cubes.py | 4.3 KB |
| solve.py | 6.6 KB |
| trim_keep.py | 5.0 KB |
| trim_large.py | 1.3 KB |
| verify_keep.py | 3.4 KB |
| verify_model.py | 368 B |
| verify_range.py | 1.5 KB |