files / problems / c7-shannon / compute / q4
| .. | |
| cyclic_log.txt | 471 B |
| cyclic_sat_log.txt | 82 B |
| eject_linear_log.txt | 473 B |
| fold_wide_log.txt | 248 B |
| grow_1dim_log.txt | 513 B |
| grow_1dim.py | 4.4 KB |
| hamming13_four_log.txt | 8.1 KB |
| hamming13_sat_log.txt | 99 B |
| hamming13_sat_stdout.txt | 78 B |
| hamming15_log.txt | 741 B |
| negation_sat_stdout.txt | 50 B |
| onedim_log.txt | 5.5 KB |
| run_q4.sh | 836 B |
| sat_1dim.py | 2.7 KB |
| sat_cyclic.py | 4.3 KB |
| sat_negation.py | 2.6 KB |
| scratch_log.txt | 2.0 KB |
| search_1dim_cosets.c | 15 KB |
| search_cyclic_orbits.c | 8.4 KB |
| search_eject_linear.c | 7.1 KB |
| search_fold_wide.c | 6.0 KB |
| search_hamming13_four.c | 9.5 KB |
| search_hamming13_sat.py | 3.6 KB |
| search_hamming15.c | 8.2 KB |
| search_scratch.c | 5.5 KB |