OKullmann/oklibrary — pull request #353 by MGwynne (2012-02-09 09:49:01+00:00)
Title: Colorings have now been found for for 17x17 and 18x18 Gasarch problems.

Branch: gasarch.

Pointing out that the 17x17 and 18x18 Gasarch problems have solutions (from recent paper).

Matthew