1. 8
    Tricking elm-test into solving a river-crossing puzzle elm testing ellie-app.com
    janiczek avatar authored by janiczek 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
    1. 6
      craigstuntz avatar craigstuntz 5 years ago | link

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

      1. 4
        hwayne avatar hwayne 5 years ago | link

        And here’s the Alloy way of doing it!

        1. 2
          janiczek avatar janiczek 5 years ago | link

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