E-IE0006 — Conflicting numeric literals during simplification
Error Type |
|
|---|---|
Phase |
constraint detection during compilation |
Python exception |
|
Message
Internal error: constraint detector derived two different numeric literals for the same expression, so the e-graph engine stopped simplifying.
This is a bug in JijModeling - please report it to the developers in community Discord (https://discord.gg/Km5dKF9JjG) with the full error output.
Cause
While simplifying the model during constraint hint detection, JijModeling derived two different numeric values for the same expression. To reduce the risk of infinite loops during simplification, JijModeling stops the affected simplification steps after detecting the conflict, and compilation fails with this error. This indicates an internal library defect that may be triggered by otherwise valid model definitions. Users encounter it only during constraint hint detection, which runs by default when compiling a problem.
Fix
This is a bug in JijModeling.
Please report it at the JijModeling community on Discord together with the full error output and a minimal model that reproduces it; the numeric constants and variable bounds in the model are the most useful part of the report.
As a workaround, disable constraint hint detection by passing constraint_detection=False to Problem.eval or Compiler.eval_problem.