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.
Flood fills are messy and operate by growing from a seed one point at a time. There is nothing deterministic to that growth pattern. So you can get fifty different "solutions" to the same flood fill, purely based on the order it filled. The
interesting field restricts the solution space to a subset of the terms involved, letting the solver disregard how a given solution was arrived at.