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.

  • The cnf object to write to
  • A unique name prefix label to avoid collisions
  • An adjacency table
  • How big the flood fill could be
  • If the size should be strictly followed (optional)
  • A starting location for the fill (optional)
Mail: (not shown)

Please type this: