Я думаю, что ваша проблема в ct19
: у вас есть это:
ct19: forall(p in plant, k1 in truck, k2 in truck : k1 != k2, j1 in jobs, j2 in jobs) //only one tuck can load RMC at the same plant/time
{
...
forall(p in plant, k1 in truck, k2 in truck : k1 != k2, j1 in jobs, j2 in jobs)
...
}
Вы вложили эти два forall
утверждения. Это приведет к большому количеству комбинаций всех этих индексов. Полагаю, вы не хотите, чтобы второй forall
был вложен в первый, но чтобы он был на том же уровне:
ct19: forall(p in plant, k1 in truck, k2 in truck : k1 != k2, j1 in jobs, j2 in jobs)
{
...
}
ct19_2:
forall(p in plant, k1 in truck, k2 in truck : k1 != k2, j1 in jobs, j2 in jobs) {
...
}
Обратите внимание, что некоторые другие ограничения, похоже, страдают от той же проблемы.