wutka/solving-diehard3-water-jugs

Getting nuXmv and Formula to solve the water jugs problem from Die Hard 3

Roff