Added Gecode::path propagator fully supported.