E-IE0000 — Unexpected type in e-graph conversion

Error Type

Internal Error

Phase

constraint detection during compilation

Python exception

jijmodeling.CompileError

Message

Internal error: unexpected type `{type}` in the e-graph engine.

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.