  One of the fundamental results of ergodic optimization asserts that for any
dynamical system on a compact metric space with the specification property and
for a generic continuous function $f$ every invariant probability measure that
maximizes the space average of $f$ must have zero entropy. We establish the
analogical result in the context of constraint ergodic optimization, which is
introduced by Garibaldi and Lopes (2007).
