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