files / problems / caccetta-haggkvist-k3 / compute / q3
| .. | |
| certs/ | |
| build_solvers.sh | 822 B |
| cyclic_soundness.py | 5.3 KB |
| encode.py | 491 B |
| holes.py | 2.3 KB |
| hunt_holes.py | 4.5 KB |
| README.md | 809 B |
| regression.py | 1.8 KB |
| run_all.sh | 681 B |
| run_cubes.py | 4.3 KB |
| solve.py | 6.0 KB |
| sos_nonedge.py | 4.7 KB |
| verify_keep.py | 3.4 KB |
| verify_model.py | 368 B |