Optimization

• minof(Goal,Exp): This primitive finds a satisfiable instance of Goal, such that Exp has the minimum 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.

• minof(Goal,Exp,Report): This is the same as minof(Goal,Exp), except that call(Report) is executed each time that an answer is found.

• maxof(Goal,Exp): This primitive finds a satisfiable instance of Goal, such that Exp has the maximum optimal value. It is equivalent to fd_minimize(Goal,-Exp).

• maxof(Goal,Exp,Report): This is the same as maxof(Goal,Exp), except that call(Report) is executed each time that an answer is found.