E-IE0003 — Internal: empty optional term in e-graph conversion
Error Type |
|
|---|---|
Phase |
constraint detection during compilation |
Python exception |
|
Message
Internal error: an empty optional term appeared where an expression was required 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 machinery used for constraint detection was violated; this cannot be produced by normal use of the library. Users may only encounter it 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 with the full error output.
As a workaround, you can disable constraint hint detection by passing constraint_detection=False to Problem.eval or Compiler.eval_problem.