Part-II: CLP(FD)

• Declaration of domain variables

  • X in L..U
  • [X1,X2,...,Xn] in L..U

• Constraints

  • Exp R Exp (R is #=, #\=, #>, #>=, #<, #=)
  • all_different(L)

• Labeling

  • indomain(X)
  • labeling(L) labeling_ff(L)
  • fd_minimize(Goal,Exp)

Previous slide

Next slide

Back to first slide

View graphic version