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.

cnf.comment('numbers are clear')
for x,y in table:
    cnf.write_one(-f('base', x, y))
Name:
Mail: (not shown)

Please type this: