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.
And then the summary is connected to the base. This looks very similar to code for the walls, with a small tweak to the
if_then() for their relative behaviors. The areas of the walls must not be filled in, so they are linked to the base by
if_then(wall_term, -base_term) while the stream looks like
if_then(stream_term, base_term) because the stream area is supposed to be filled in on the base layer.