Distribution strategies from Gecode for Finite Domain is now available
in Mozart.