Repository navigation
SCIP IIS with MOI Conflict interface - #353
matbesancon wants to merge 5 commits into
Conversation
|
without surprise, CI cannot pass at the moment because of the finding-by-name issue. Depending on how easy it can be worked out, we'll either copy / adapt the test setup by adding names |
|
@matbesancon There is a map from the original problem to the IIS subscip. See the struct |
|
unless I missed it, I don't see any methods to access these two hashmaps |
|
That was probably laziness on my part...... |
|
tss tsss |
Adding the new IIS feature to compute conflicts.
For now this is quite a hacky path, relying on variable and constraint names to verify whether a constraint or variable is present in the IIS or not
cc @Opt-Mucca
I haven't found any better way to match the IIS sub-SCIP information to the original model so far, I don't think the IIS produces a correspondence map between original and IIS variables / constraints