You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
2025-12-11 13:01:42 [WARN] no license files in EV 'COPT_LICENSE_DIR':
337
+
338
+
No license found. Starting COPT with size limitations for non-commercial use
339
+
Please apply for a license from www.shanshu.ai/copt
340
+
</pre></div>
341
+
</div>
341
342
</div>
342
343
</div>
343
344
<p>This code snippet creates an infeasible model with two constraints and finds the IIS of the model. Obviously, the constraints are contradictory because <codeclass="docutils literal notranslate"><spanclass="pre">x</span><spanclass="pre">+</span><spanclass="pre">2</span><spanclass="pre">*</span><spanclass="pre">y</span><spanclass="pre"><=</span><spanclass="pre">1</span></code> and <codeclass="docutils literal notranslate"><spanclass="pre">x</span><spanclass="pre">+</span><spanclass="pre">y</span><spanclass="pre">>=</span><spanclass="pre">5</span></code> cannot be satisfied at the same time when <codeclass="docutils literal notranslate"><spanclass="pre">x</span></code> and <codeclass="docutils literal notranslate"><spanclass="pre">y</span></code> are non-negative. The optimizer will detect that the model is infeasible and return the IIS, which is the set of constraints that cause the infeasibility. We can query whether a constraint is in the IIS by calling <codeclass="docutils literal notranslate"><spanclass="pre">get_constraint_attribute</span></code> with the <codeclass="docutils literal notranslate"><spanclass="pre">ConstraintAttribute.IIS</span></code> attribute.</p>
Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
355
+
Termination status: TerminationStatusCode.OPTIMAL
356
+
</pre></div>
357
+
</div>
358
+
<divclass="output stream highlight-myst-ansi notranslate"><divclass="highlight"><pre><span></span>Src: B => Branching; C => Central rounding; F => Feasibility pump; H => Heuristic;
357
359
I => Shifting; J => Feasibility jump; L => Sub-MIP; P => Empty MIP; R => Randomized rounding;
358
360
S => Solve LP; T => Evaluate node; U => Unbounded; X => User solution; Y => HiGHS solution;
359
361
Z => ZI Round; l => Trivial lower; p => Trivial point; u => Trivial upper; z => Trivial zero
@@ -362,7 +364,6 @@ <h2>N-queen problem<a class="headerlink" href="#n-queen-problem" title="Link to
362
364
Src Proc. InQueue | Leaves Expl. | BestBound BestSol Gap | Cuts InLp Confl. | LpIters Time
363
365
364
366
J 0 0 0 100.00% -inf 0 Large 0 0 0 0 0.0s
365
-
Termination status: TerminationStatusCode.OPTIMAL
366
367
1 0 1 100.00% 0 0 0.00% 0 0 0 0 0.0s
367
368
368
369
Solving report
@@ -376,7 +377,7 @@ <h2>N-queen problem<a class="headerlink" href="#n-queen-problem" title="Link to
0 commit comments