Пёмо: Почему решатель находит значение за пределами указанного домена?

Редактирование, чтобы лучше ответить на мой вопрос.

Имейте переменную x, которая представляет день года, например 1-365. Есть дни, которые запрещены. Поэтому я создаю список с действительными вариантами дня, а затем набор pyomo с model.jan = pyo.Set(initialize=month_lists[1]).

Я определяю свое отображение следующим образом:

def x_domain(model, i, j):
    domain_mapping = {
        0: model.pdec,
        1: model.jan,
        2: model.feb,
        ...
    }
    return domain_mapping.get(i)

Затем создайте мою переменную x:

model.x = pyo.Var(model.months, model.cycles, domain=x_domain)

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

Key | Lower | Value | Upper | Fixed | Stale | Domain

(1, 6) : 1 : 7.0 : 31 : False : False : jan

Таким образом, переменная находит значение 7, когда оно явно не входит в домен.

Я могу придумать другие способы это описать, но не понимаю, почему этот подход не работает. Документация pyomo, похоже, поддерживает наборы дискретных целых чисел.