files / problems / ramsey-r55 / compute / q1
| .. | |
| certs/ | |
| logs/ | |
| aut_mckay.py | 5.2 KB |
| c7_sat.py | 8.1 KB |
| cayley_census.c | 6.7 KB |
| check_groups.py | 2.4 KB |
| d22_fast.c | 4.5 KB |
| extend_flips.c | 9.2 KB |
| py_cayley.py | 4.1 KB |
| README.md | 571 B |
| run_all.sh | 1.5 KB |
| srg_params.py | 2.5 KB |
| summarize.py | 2.8 KB |
| two_flip.py | 4.7 KB |
| verify_cayley.py | 3.6 KB |