1. 8
  1.  

  2. 6

    My favorite approach to this problem is in TLA+, and it always finds the solution.

    1. 4

      And here’s the Alloy way of doing it!

      1. 2

        Both of these are awesome! :) Thanks for the links!