files / problems / kissing-5d / compute / q8
| .. | |
| certs/ | |
| cnfutil.py | 6.0 KB |
| cube_k30.py | 4.6 KB |
| five_star_sat.json | 815 B |
| five_star_sat.py | 5.3 KB |
| hunt_status.py | 1.7 KB |
| hunt_wrap.json | 1.4 KB |
| leftover_bb.py | 2.3 KB |
| leftover_global.c | 13 KB |
| leftover_k30.c | 14 KB |
| leftover_sat_status.json | 336 B |
| leftover_sat.json | 604 B |
| leftover_sat.py | 5.3 KB |
| native_sat.py | 5.1 KB |
| orbits.json | 1.2 KB |
| orbits.py | 4.9 KB |
| README.md | 1.3 KB |
| replay_k30.json | 614 B |
| replay_k30.py | 2.6 KB |
| run_all.sh | 610 B |
| setup_solvers.sh | 1.2 KB |
| setup_venv.sh | 358 B |
| verify.py | 4.2 KB |
| watch_hunts.py | 12 KB |
| write_cnf.py | 2.3 KB |