if you have isCovered >= sum(isAntenna), your solver will say,
“ok, isAntenna = 0 everywhere and isCovered = 1 everywhere”
which is of course not want we want (although coverage without antennas would be great 
)
there is proper maths explanations to transform and and or into linear constraints but I couldn’t explain the proper maths theory