files / problems / covering / share / 2026-08-16 / compute

..
build_certificate.py3.5 KB
covering_certificate_r10_n50.json31 KB
H_r10_n50.txt1.1 KB
plot_density.py1.9 KB
search_n49_lifted.c24 KB
search_n49.c27 KB
search_radius2.py8.1 KB
search_results.json987 B
verify_certificate.py5.4 KB
witness_r10_n50.json1.8 KB

This folder on GitHub