There was an error while loading. Please reload this page.
1 parent 3196e30 commit 250016cCopy full SHA for 250016c
1 file changed
src/MOI_wrapper/conflict.jl
@@ -292,7 +292,8 @@ function MOI.get(
292
for var in raw_vars_vec
293
var_name = unsafe_string(SCIP.LibSCIP.SCIPvarGetName(var))
294
if var_name == index_var_name
295
- if SCIP.LibSCIP.SCIPvarIsBinary(var) || SCIP.LibSCIP.SCIPvarIsIntegral(var)
+ if SCIP.LibSCIP.SCIPvarIsBinary(var) ||
296
+ SCIP.LibSCIP.SCIPvarIsIntegral(var)
297
# we cannot ensure the integrality constraint is in the conflict
298
return MOI.MAYBE_IN_CONFLICT
299
end
0 commit comments