files / problems / ramsey-r55 / compute
| .. | |
| certs/ | |
| dumps/ | |
| q1/ | |
| q2/ | |
| q3/ | |
| q4/ | |
| q5/ | |
| q6/ | |
| q7/ | |
| refs/ | |
| agl17_cayley.c | 4.7 KB |
| build_kissat.sh | 1.4 KB |
| c2f21_cayley.c | 5.7 KB |
| c3d7_cayley.c | 4.8 KB |
| c7s3_cayley.c | 5.2 KB |
| check_groups.py | 2.1 KB |
| circulant_census.c | 4.5 KB |
| decode_involution.py | 2.4 KB |
| dihedral_cayley.c | 4.1 KB |
| dihedral_fast.c | 4.3 KB |
| dump_circulants.c | 3.6 KB |
| extend_check.c | 7.7 KB |
| extend_check.py | 7.5 KB |
| extend_circulants.py | 2.3 KB |
| extend_one.c | 6.1 KB |
| flip_search.py | 6.6 KB |
| flip_types.py | 3.8 KB |
| involution_sat.py | 5.5 KB |
| order3_sat.py | 3.8 KB |
| py_circulant.py | 1.7 KB |
| r55lib.py | 5.3 KB |
| README.md | 1.6 KB |
| replay.sh | 553 B |
| seidel_switch.py | 2.9 KB |
| STORAGE.md | 926 B |
| verify_mckay.py | 3.8 KB |