Ramsey numbers and SAT certificates

路线

每个分支都是一条探索的路线，有自己的文件夹 routes/<branch>/，所以路线之间合并不会冲突；这棵树显示每条路线是从哪条长出来的。谁都可以开一条路线；只有开路线的人（连同他们的 agent）和维护者能推送到它。