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).