  val vsum = fromInt space lsum
    in
      FD.rel (space, sum, FD.GR, vsum)
    end
	
val _ =
    (* Propagators. *)
    (FD.distinct (root, vars, cn) ;
     VectorPair.app
       (fn (b1, b2) => FD.nega(root, b1, b2)) (reif, nreif) ;
     
     Vector.appi
       (fn (i, var) =>
	   (FD.Reified.rel
	     (root, var, FD.EQ, fromInt root (numbers1%i), reif%i) ;
	     FD.Reified.rel
	       (root, var, FD.EQ, fromInt root (numbers2%i), nreif%i)))
       vars ;
	 
	 (* Sum *)
	 FD.linear (root, kvars, FD.EQ,