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.

base_layer = [f('base', x, y) for x,y in product(xs, ys)]
for solution in cnf.solutions(interesting = base_layer):
    ....
Name:
Mail: (not shown)

Please type this: