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 all the squares with numbers are guaranteed to not be part of the river and so can be marked as such on the base layer:

Mail: (not shown)

Please type this: