E-IE0005 — Internal e-graph error during constraint detection
Error Type |
|
|---|---|
Phase |
constraint detection during compilation |
Python exception |
|
Message
Internal error: the e-graph engine failed during constraint detection.
{...}
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
An internal invariant of the e-graph engine that JijModeling uses for constraint hint detection and mathematical rendering was violated. This covers both errors raised by the engine itself and its internal type errors; the interpolated text identifies the failing check. It is not caused by user input and cannot be produced by normal use of the library. Users typically 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.
As a workaround, if this error blocks compilation, you can disable constraint hint detection by passing constraint_detection=False to Problem.eval or Compiler.eval_problem.