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.
Another requirement is no pools. The following code enumerates all possible 2x2 squares in the puzzle and forbids those combinations from being solid river. The
ys lists contain the ranges of the X and Y values of the board.