Hello,

I’m trying to optimize my Integer Linear Model by automatic analysing of the input data and generate lots of constraints like

```
x[3,45,12,7,8,1] == 0
```

I have several different subalghoritms that may return partially overlapping sets of constraints. I don’t want to overload my model by duplicated (or worse) costraints, as I’m concerned it can slow down solution process. Therefore I’m looking for some easy and elegant way of verifying if given constraint already exists. I think I could do it by dumping current model state to a string and parse it looking for particular substring, but I’m wondering whether there is better way to do it. Or is JuMP / Cbc Solver proofed for redundant constraints and there is nothing to be worry about?

With Warm Regards

Rafal