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