GitHub repository: semperos/river-crossing-spec
Primary language: TLA
Created: 2017-11-15T19:51:40Z
Description: TLA Specification for the "Fox, goose, and bag of beans" puzzle (https://en.wikipedia.org/wiki/Fox,_goose_and_bag_of_beans_puzzle)