Merge pull request #1 from dmontenegro/master

Added FD.inf and FD.sup to finite domain module (FD.oz)
Added FD.distribute to FD.oz.
Currently supporting size_min and size_max for variable selection and val_min and val_max for value selection.
Merge pull request #2 from carealejo/master

Css: FD.distribute
Changed FD.oz to reflect the new finite domain modules
Added Gecode::distinct propagator to FD module
Added FD.inf and FD.sup to finite domain module (FD.oz)
Added FD.distribute to FD.oz.
Currently supporting size_min and size_max for variable selection and val_min and val_max for value selection.
Merge branch 'master' of git://github.com/anfelbar/mozart2-library
Added dom, decl, list, record and tuple to FD.oz
Now we can do thing like:
{FD.decl X}
{FD.list 5 3#9 X}
{FD.record mozart [a b c] 3#8 X}
{FD.tuple oz2 6 11#23 X}