Это странно выглядящее ограничение.
0.10 <= x1+x3 >= 0.80
можно переформулировать как
x1+x3 >= 0.10
x1+x3 >= 0.80
или просто
x1+x3 >= 0.80
Пота нет!
Если плакат действительно означает:
0.10 <= x1+x3 <= 0.80
(это всегда помогает перечитать ваш вопрос!), Тогда мы можем написать это как:
x1+x3 >= 0.10
x1+x3 <= 0.80
Это тривиально для реализации.
Если длина суммирования велика:
0.10 <= x1+x2+x3+... <= 0.8
есть лучший подход:
y in [0.1,0.8] (extra variable with lower and upper bounds)
y = x1+x2+x3+... (single equality constraint)
Это предотвращает двойное суммирование в модели. По сути, мы создаем дополнительную переменную, но сохраняем ограничение и соответствующие ненулевые коэффициенты.
Конечно, Microsoft Solver Foundation не следует использовать в реальных проектах: он был прекращен в 2012 году.