files / problems / kissing-5d / compute / q7
| .. | |
| certs/ | |
| cnfutil.py | 5.2 KB |
| dual_more.json | 2.8 KB |
| dual_more.py | 6.3 KB |
| five_star_sat.json | 4.9 KB |
| five_star_sat.py | 6.9 KB |
| leftover_bb.py | 2.3 KB |
| leftover_global_400m.json | 389 B |
| leftover_global_mode3.json | 456 B |
| leftover_global.c | 13 KB |
| leftover_global.json | 455 B |
| leftover_sat_status.json | 277 B |
| leftover_sat.json | 534 B |
| leftover_sat.py | 5.4 KB |
| merge_sat.py | 4.3 KB |
| native_sat.py | 5.1 KB |
| orbits.json | 1.2 KB |
| orbits.py | 4.9 KB |
| README.md | 2.1 KB |
| replay_five_star.json | 1.4 KB |
| replay_five_star.py | 3.3 KB |
| run_all.sh | 937 B |
| setup_solvers.sh | 1.2 KB |
| setup_venv.sh | 358 B |
| star_cover_min.json | 1.1 KB |
| star_cover_min.py | 3.5 KB |
| verify.py | 5.8 KB |
| write_cnf.py | 3.5 KB |