files / problems / c7-shannon / compute
| .. | |
| q1/ | |
| q2/ | |
| q3/ | |
| q4/ | |
| c7_common.py | 2.6 KB |
| cegar_product_log.txt | 66 B |
| fewflip_sat_log.txt | 798 B |
| fold_near.txt | 11 KB |
| linear_probe.txt | 2.2 KB |
| local_search_log.txt | 189 B |
| minconflicts_cage.txt | 713 B |
| orbit_search_wide.txt | 8.4 KB |
| orbit_search.txt | 1.5 KB |
| R_reconstructed.txt | 2.2 KB |
| R361_sprime.txt | 2.1 KB |
| R367.txt | 3.6 KB |
| random_gen.txt | 1.8 KB |
| reconstruct_polak.py | 3.5 KB |
| reconstruct_stats.txt | 71 B |
| search_3out.py | 2.5 KB |
| search_cegar_product.py | 6.2 KB |
| search_cosets.py | 9.4 KB |
| search_fewflip_sat.py | 6.9 KB |
| search_fold_near.py | 3.1 KB |
| search_fold.py | 4.1 KB |
| search_linear_probe.py | 1.9 KB |
| search_linear.py | 4.6 KB |
| search_local.py | 8.9 KB |
| search_minconflicts_cage.py | 3.1 KB |
| search_orbits.py | 2.7 KB |
| search_random_gen.py | 1.7 KB |
| search_shifts.py | 2.6 KB |
| search_sprime.py | 2.2 KB |
| shift_search.txt | 380 B |
| sprime_stats.txt | 111 B |
| three_out_log.txt | 51 B |
| verify_set.py | 2.4 KB |