Exercises
1. Implement the following constraints.
- maximum(X,Y,Z)
- Z is the maximum of X and Y.
- atmost(N,L,V)
- Succeeds if there are at most N elements in L that are equal to V, where N and V are integers and L is a list of domain variables or integers.
2. Find all the solutions for X,Y,and Z that satisfy X2+Y2=Z2 where X, Y, Z are in 1..100.