rezmason on Nostr: To reach Aitasla, you must: -locate Aitasla -travel to its location but also, you ...

To reach Aitasla, you must:
-locate Aitasla
-travel to its location
but also, you must:
-know of Aitasla
-know how to reach Aitasla
-know that you can
-decide that you should

This is the basis for every hundredrabbits game.

A walkthrough is a list of user actions that complete a game, a proof that a game can be completed.

A solver is a generator of walkthroughs, of proofs.

An antagonist generates lists of user actions that soft lock a game, ie. cause a solver to return zero results.

A soies machine eliminates soft locks by modifying a game until an antagonist returns zero results.