Optimization constraints

• minof(+Goal,?Exp) This constraint finds a satisfiable instance of Goal such that Exp has the minimum optimal value. Here, Goal is used as a generator (e.g., labeling(L)), and Exp is an expression. All satisfiable instances of Goal must be ground, and for every such instance, Exp must be an integer expression.

• maxof(+Goal,?Exp) This constraint finds a satisfiable instance of Goal such that Exp has the maximum optimal value. It is equivalent to minof(Goal,-Exp).