Checker7.world File Reference

Detailed Description

This file encodes a 7x7 deployable checker.

Next, we enumerate the steps to process this problem:

  • Generate the equations: Execute
  • Solve the positional analysis problem: Execute
  • Examine the solutions:

Definition in file Checker7.world.