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

Gecode branchers for Finite Domains