Remove dependency on gecode-flatzinc