учил конкретную модель с множеством переменных и ограничений.

Каким-то образом одна из переменных внутри моей модели нарушает одно ограничение, что делает мою модель неосуществимой:

WARNING: Loading a SolverResults object with a warning status into model=xxxx;
    message from solver=Model was proven to be infeasible.

Есть ли способ спросить у решателя причину невозможности?

Например, предположим, что я получил переменнуюxи если я определю следующие 2 ограничения, модель будет ofc. неосуществимым.

const1:
    x >= 10

const2:
    x <= 5

И чего я хочу добиться, так это указать на ограничения и переменные, которые вызывают эту невозможность, чтобы я мог это исправить. В противном случае с моей большой моделью довольно трудно понять, что является причиной этой невозможности.

IN: write_some_comment
OUT: variable "x" cannot fulfill "const1" and "const2" at the same time.