1. Measuring With Jugs A Solution in Finite Domain

2. Intro to Mozart - Oz variables -- a set of alphanumeric characters statring with a CAPITOL letter – you can assign only once atoms -- set of alphanumeric characters beginning with a lower case letter (anAtom in Java would be "anAtom")

3. Intro (Cont’d) keywords -- declare fun Browse functions

4. Other Neat Stuff "virtual strings", records, lists, (anonymous functions?)

5. algorithm background -- walk through, mention others who have analyzed it explanation

6. Programming in Finite Domain finite domain integers constraints how it works (as opposed to logic programming like Prolog)

7. algorithm to code 2 jugs n jugs show output explain output numbers

8. Multiple Solutions

9. The Code translation from numbers to operations show structure of functions show code bits show output

10. Conclusion This program shows that constraint programming may be applicable in situations where it is not obvious.