https://github.com/semperos/river-crossing-spec

TLA Specification for the "Wolf, goat, and cabbage" puzzle (https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem)

model-checking puzzle temporal-logic-of-actions tla-specification

Last synced: 05 Mar 2025