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.

Now for the stream fill. There are two different ways to go about it. First is to calculate the exact size of the stream (xdim * ydim - sum(clues)) and do an exact fill. The second is to do an unbounded fill, which is what I'll illustrate here since the walls use exact fills. And unbounded fills are generally less intensive, so use them when you can.

Name:
Mail: (not shown)

Please type this: