
?C1 #/\ ?C2

   The constraint expression C1 and the constraint expression C2 is true.



Arguments
   ?C1                 An arithmetic constraint expression.
   ?C2                 An arithmetic constraint expression.

Type
   library(fd)

Description
   This constraint states that both constraint expressions C1 and C2 must
   be true.  It is identical to normal conjunstion (C1, C2).




Fail Conditions
      Fails if one of C1 or C2 is false.



Resatisfiable
      No.

See Also
   #\/ / 2, #=> / 2, #<=> / 2, #\+ / 1
