SAT


Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

  1. Designs a grid nomenclature that will fit the puzzle.
  2. Each person tackles a different part of the grid physics using any language.
  3. Other people type up the initial conditions for the puzzle.
  4. A person codes up a display routine, converting the binary terms of the solution into a pretty picture.
  5. Everyone from steps 2 and 3 concatenates their CNFs together.
  6. Run the solver/debugger as appropriate.
  7. Render the resulting solutions.
Name:
Mail: (not shown)

Please type this: