files / problems / c7-shannon / compute / q3
| .. | |
| coset_finish_log.txt | 17 KB |
| coset_sat_log.txt | 55 B |
| hamming13_log.txt | 741 B |
| run_q3.sh | 703 B |
| sat_leftover_cosets.py | 4.2 KB |
| search_cosets_finish.c | 15 KB |
| search_hamming13_sat.py | 3.6 KB |
| search_hamming13.c | 8.8 KB |
| unique_sample_log.txt | 89 B |
| verify_unique_sample.py | 4.4 KB |