Optimization

• fd_minimize(Goal,Exp):
• 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.  

• fd_maximize(Goal,Exp):
• 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).