
<ConsistencyModule:> divmod(?X,?Y,?Q,?M)

   Constrains Q to X // Y, and M to X mod Y.

Arguments
   X                   An integer or (domain) variable (array notation accepted)
   Y                   An integer or (domain) variable (array notation accepted)
   Q                   An integer or (domain) variable (array notation accepted)
   M                   An integer or (domain) variable (array notation accepted)

Type
   library(gfd)

Description
   Constrains Q to be the integer quotient of X and Y (X // Y), and M to
   be the modulus of X and Y (X mod Y). Q is rounded towards 0.
    
   ConsistencyModule is the optional module specification to give the 
   consistency level for the propagation for this constraint: 
   gfd_bc for bounds consistency.




