[SCIP] Undeclared Variables Used in the Constraints

[Samuel Jiménez Gil]

Hi all,
Hope you are well. I've done quite a few experiments trying to understand
this question but I don't manage to understand the rationale.

Do you know what SCIP does when you add an arbitrary constraint containing
a variable which was not declared (free variable), and thus no bounds were
provided?

Example, (t_0 not declared):

Minimize
0
Subject To
 c1: i_0 + i_1 > 11
 c2: i_0 - 2 i_1 > -1
 c3: t_0 > 40
Bounds
 0 <= i_0 <= 1000
 0 <= i_1 <= 1000
End

According to what I've seen t_0 could have any value and is ocassionally
replaced by one of the declared variables.

Many thanks in advance.

Samuel.
Ph.D Candidate.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20200914/c97c1256/attachment.html>