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.

The CNF is using the auto_term() function, aliased to f(), for mapping labels to term numbers. The final answer will be found in the terms ('base', x, y).

Mail: (not shown)

Please type this: