solving the water jug problem from die hard 3 with tla+ and hypothesis - hypothesis - discu.eu

Lobsters

Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis http://nchammas.com/writing/how-not-to-die-hard-with-hypothesis 5 comments 5/4/2017 python , testing

Reddit

Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis http://hypothesis.works/articles/how-not-to-die-hard-with-hypothesis/ 20 comments 6/4/2017 programming