Add a variant of the Prisoner's puzzle#172

ahelwer merged 1 commit into

tlaplus:mastertlaplus/Examples:masterfrom

florianschanda:masterflorianschanda/tlaplus_examples:masterCopy head branch name to clipboard