我有一组整数约束，我想解决。约束可以由大于，小于或等于某个常数的变量组成。 实施例： A >= 20
A <= 30
B <= 10
A + B <= 25
...
将有几百个这种简单的约束条件，并且常数大得多的值（几十万）在实践中。 不过，我不只是要一个解决这些制约因素：我想从解空间的一个随机解决方案。这并不意味着每个解决方案都必须具有相等的概率（我认为没有枚举它们全部都不可能），但
我正试图在C＃中使用Microsoft Solver Foundation发现问题的解决方案，并且在设置所需的所有约束时遇到问题。我的基本模型是我有一个海湾列表，我需要加载每个海湾，以便所有海湾的总数最大化。我目前正在这样做 var solver = SolverContext.GetContext();
var model = solver.CreateModel();
var decisi