Composite constraints

Several constraints can be combined together by using connectives to form composite constraints. The following connectives are available in DJ:

• $\sim$C: not C, which is true when C is false; but false when C is true.

• C1 || C2: true when either C1 or C2 is true.

• C1 $\&\&$ C2: true when both C1 and C2 are true.

• C1 -> C2: C2 must be true if C1 is true.