A rigorous proof. Totally unimportant to the code, but I didn't want
[sgt/puzzles] / unfinished / separate.c
2007-08-25 simonCommit my work so far on a generator for Nikoli's ...