Games
Генератор головоломок Kakuro / Fillomino / Masyu / Yajilin / Hashiwokakero / Nurikabe / Slitherlink / Star Battle с доказательством единственности
Детерминированно по семени генерирует головоломки 8 семейств Nikoli (одно семя — одна доска): плотное Какуро, Fillomino, Масю, Ядзилин, Хасивокакеро, Нурикабэ, Слизерлинк и Star Battle; каждая доска строится «решение вначале» и проверяется исчерпывающим перебором, считающим решения до двух — единственность доказана, при исчерпании бюджета честно сообщается «unproven»; прилагаются SVG головоломки и решения и сложность по числу узлов поиска.