DebugMode

Enables extended debugging and diagnostic tools.

Includes all checks from ON, and adds:

• Export of failing or inconsistent decision diagrams (as .dot files) to assist with visualization and analysis.
• Additional consistency verification of lower-bound computations (particularly useful for A*-based algorithms)

This mode is recommended when investigating unexpected solver behavior or validating complex model implementations.

Disables all debugging features.

This mode is intended for production runs or benchmarking, where performance is prioritized and no additional checks or debug information are generated.

Enables basic debugging checks.

This mode verifies fundamental properties of the model components, such as:

• Equality and correctness of state representations.
• Proper definition and consistency of lower bounds.

These checks help detect common modeling or implementation errors early in the solving process.