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('no pools')
for x,y in product(xs[:-1], ys[:-1]):
    cells = [f('base',x,y), f('base',x+1,y), f('base',x,y+1), f('base',x+1,y+1)]
    cnf.write([neg(cells)])
Name:
Mail: (not shown)

Please type this: