3 ms·Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis2 points by milliams 10y ago