maths
problems
notes
files
github
files
/
problems
/
kissing-5d
/
compute
/
q8
/ certs
..
five_k30_n0_5.cnf.json
409 B
five_k30_u19.cnf.json
308 B
five_k30_u20.cnf.json
308 B
five_k30_u21.cnf.json
308 B
five_k30_u22.cnf.json
308 B
five_k30_u23.cnf.json
308 B
five_k30_u24.cnf.json
308 B
five_k30_u25.cnf.json
308 B
five_k30_u26.cnf.json
308 B
five_k30_u27.cnf.json
308 B
five_k30_u28.cnf.json
308 B
five_k30_u29.cnf.json
308 B
five_k30_u30.cnf.json
308 B
k30_cubes.json
4.4 KB
n1_k19_star5_no21_no13.cnf.json
439 B
This folder on GitHub