declare
proc {Script Xs}
   [X1 X2 X3 X4 X5 X6 X7] = Xs
   R = {FD.decl}
in
   %% Xs is a list of 7 distinct elements
   Xs ::: 1#1000
   {FD.distinct Xs}

   %% impose the same remainder R
   R = {FD.modI X1 100}
   R = {FD.modI X2 100}
   R = {FD.modI X3 100}

   %% break symmetry by ordering the remaining elements
   X4 <: X5   X5 <: X6   X6 <: X7

   {FD.distribute ff R|Xs}
end

{ExploreOne Script}