Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesisnchammas.com6 points·nchammas··0 commentsOpen articleSaveView on HN