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): The same as minof(Goal,Exp) except that call(Report) is executed each time 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): The same as maxof(Goal,Exp) except that call(Report) is executed each time an answer is found.