SAT Flood Fill

A SAT function required for many nikoli puzzles.

Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

First it finds a seed location. It looks for a cell with a value of 1 (all neighbors will be part of the stream) and picks the first neighbor to use as as starting point for the fill. While this step is optional, using a seed makes the solver 20% faster or so.

Name:
Mail: (not shown)

Please type this: