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.

A year ago I had a very crude sort of flood worked out. It was messy and needed to be rewritten for every puzzle. A couple of months ago (while test-solving some unusual non-square puzzles) the generalization struck: adjacency tables could be used to create a generic flood fill that works for everything.

Mail: (not shown)

Please type this: