files / problems / unique-sum / compute / q4
| .. | |
| anneal_p79_k16.json | 248 B |
| anneal_p79_k17.json | 251 B |
| anneal.c | 4.2 KB |
| audit_cover.py | 3.4 KB |
| audit_encoding.py | 3.7 KB |
| audit_exact.py | 2.5 KB |
| audit_partition.py | 2.9 KB |
| CLAIM.md | 4.2 KB |
| cover_controls.json | 15 KB |
| cover_search.c | 7.8 KB |
| encoding_audit.json | 126 B |
| exact_audit.json | 1.4 KB |
| exact_controls.json | 509 B |
| METHOD.md | 4.2 KB |
| midpoint_cases.py | 4.2 KB |
| p59_ap4_exact.json | 498 B |
| p59_ap5_cover_interrupted.json | 433 B |
| p59_ap5_exact.json | 529 B |
| p59_ap6_exact.json | 523 B |
| partition_controls.json | 398 B |
| published_oeis.json | 1.1 KB |
| requirements.txt | 22 B |
| run_all.sh | 2.0 KB |
| run_cover.py | 3.2 KB |
| run_exact.py | 3.0 KB |
| sat_p59_ap5_le14_cadical20m.json | 520 B |
| sat_p59_ap5_le14.json | 519 B |
| sat_p59_le14.json | 473 B |
| search_sat.py | 5.9 KB |
| search_witness.rs | 8.0 KB |
| square_p79_cap19.json | 250 B |
| square_p79.json | 190 B |
| square.c | 2.5 KB |
| verify_artifacts.py | 3.5 KB |
| verify_exact.rs | 10 KB |
| verify_witness.rs | 1.3 KB |
| wrap_checks.json | 2.0 KB |