An implementation of the allocate optimization algorithm of distributed configuration WIX