Hello

I’m solving a small problem with Gurobi, which is given by `println(cover)`

=

```
Min slack[1] + slack[2] + slack[7] + slack[9]
Subject to
y[135] + y[136] + y[152] + y[158] + y[159] + y[200] + y[474] + y[550] + y[551] = 2.0
y[135] + y[136] + y[152] + y[158] + y[159] + y[200] + y[474] + y[550] + y[551] + slack[1] ≥ 1.0
y[135] + y[136] + y[158] + y[474] + y[550] + y[551] + slack[2] ≥ 1.0
y[135] + y[136] + y[152] + y[158] + y[159] + y[200] + slack[7] ≥ 1.0
y[135] + y[136] + y[152] + y[200] + y[474] + slack[9] ≥ 1.0
slack[1] ≥ 0.0
slack[2] ≥ 0.0
slack[7] ≥ 0.0
slack[9] ≥ 0.0
y[135] binary
y[136] binary
y[152] binary
y[158] binary
y[159] binary
y[200] binary
y[474] binary
y[550] binary
y[551] binary
```

The returned solution is `println(value.(y))`

=

```
1-dimensional DenseAxisArray{Float64,1,...} with index sets:
Dimension 1, Any[134, 146, 158, 550, 551]
And data, a 5-element Array{Float64,1}:
0.0
0.0
0.0
0.0
1.0
```

which does not satisfy the first constraint. How is that possible? (I can unfortunately not easily share the code).

Best,

Michael.