/solving-diehard3-water-jugs

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

Primary LanguageRoff

No issues in this repository yet.