- lin_maximum(+ObjF, Constraints:{}, ?Max:numeric) is semidet
- Succeeds if the global minimum value of the objective function ObjF subject to Constraints can be unified with Max; otherwise fails. This is the corresponding predicate to
lin_minimum/3 for finding global maxima.
- See also
- -
lin_minimum/3, lin_maximize/3