B blog.fponzi.me Wolf, goat and cabbage problem TLA+ modeling 2 points federicoponzi 3 years ago 0 comments