files / problems / long-gap-dilate / compute
| .. | |
| certs/ | |
| q1/ | |
| constructions.py | 8.0 KB |
| enum_diagonal.py | 876 B |
| enum_G.py | 2.0 KB |
| eval_constructions.py | 2.3 KB |
| eval_singer.py | 1.3 KB |
| gaplib.py | 4.0 KB |
| greedy_hit.py | 2.7 KB |
| n3_scan.py | 1.0 KB |
| plot_ratios.py | 1.2 KB |
| poly_experiment.py | 2.9 KB |
| README.md | 1009 B |
| run_all.sh | 272 B |
| run_local_batch.py | 892 B |
| sat_census.py | 1.0 KB |
| sat_exact.py | 5.3 KB |
| search_local.py | 3.2 KB |
| verify_sat_witnesses.py | 1.4 KB |
| verify.py | 4.3 KB |