Thursday, April 6, 2017

Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis

http://ift.tt/2nNhdxh

Submitted April 06, 2017 at 04:40AM by milliams http://ift.tt/2nGLux5 Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)