Measuring With Jugs A Solution in Finite Domain

Intro to Oz * variables -- a set of alphanumeric characters starting with a CAPITAL letter * atoms -- set of alphanumeric characters beginning with a lower case letter (anAtom in would be equivalent in Java to"anAtom") * keywords – declare, fun, Browse

Other Neat Stuff -- virtual strings -- virtual stringsa#b#c -- lists -- lists [a b c] [a b c] -- records -- records sol(A B C) #(a b c) #(a b c)

Functions This is what an Oz Program looks like:

The Algorithm background -- others who have analyzed it explanation CapA*TimesA-CapA*TimesANeg

Constraint Programming + finite domain integers + constraints + how it works (as opposed to logic programming like Prolog)

Constraint Programming Applied Algorithm to Code - 2 jugs - n jugs - show output - explain output numbers CapA*TimesA-CapA*TimesANeg

Numbers to Operations + show structure of functions + show code bits + show output

Multiple Solutions May include this!

Conclusion This shows that Finite Domain Constraint Programming is useful for areas where it might not at first seem useful.