Distribution strategies from Gecode for Finite Domain is now available
in Mozart.
Merge pull request #4 from miavisa/master

Space.inject
Merge pull request #5 from juancate/master

Gecode branchers for Finite Domains
Added FD.distinct2 to FD.oz
Merge pull request #6 from carealejo/master

FD.distinct2