# Understanding of implies

**URL:** <https://discourse.julialang.org/t/understanding-of-implies/61978>\
**Category:** Optimization (Mathematical)\
**Created:** [May 28, 2021, 7:58am UTC](https://discourse.julialang.org/t/understanding-of-implies/61978 "2021-05-28T07:58:52Z")\
**Posts on this page:** 1\
**Showing post:** 9

<div class="post-metadata">

**Author:** ![sogrbilja](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/sogrbilja/32/17521_2.png) [@sogrbilja](https://discourse.julialang.org/u/sogrbilja)\
**Post date:** [May 28, 2021, 7:05pm UTC](https://discourse.julialang.org/t/understanding-of-implies/61978/9 "2021-05-28T19:05:47Z")

</div>

Here:

> [@Trying to solve a puzzle](https://discourse.julialang.org/t/trying-to-solve-a-puzzle/61515/16):
>
> The most important, what I failed to understand, is that isCovered is in the function of houses. I was thinking about the grid that one antenna can cover, but I should think about which houses antenna(s) can cover instead. Here is the model: using JuMP, Cbc, XLSX mat = XLSX.readdata("data/input.xlsx", "sheet1", "A1:J10") M = size(mat, 1) N = size(mat, 2) ratio = 0.7 houses = [] for i = 1 : M for j = 1 : N if mat[i,j] == 1 push!(houses, (i,j)) end end end model = Model(Cb…

---

_[View the full topic](https://discourse.julialang.org/t/understanding-of-implies/61978)._