Python CPLEX约束编程逻辑约束
我正在Python中研究Cplex CP，我有两个整数变量x和y。 我做了一些计算，找到了 x 的值，例如： y = ..一些计算.. x = 3600 / y 我想这样做，如果 x 低…
OR-Tools CP-SAT 中的极限和对称性意味着什么？
我有一个问题，我正在尝试使用大约 100 万个变量和 1000 万个约束进行优化。 CP-SAT需要很长时间才能找到可行的解决方案。我正在阅读输出，发现一些我…
OptaPlanner 忽略约束
我在 VehicleRoutingConstraintProvider 中创建了一个 timeToIdealDate 约束。 此约束的目标是将访问分组到车辆，并且访问的idealDate最接近车辆的开…
如何识别 prolog 查询指定的算术表达式中涉及的不等式？
我正在编写序言并面临这种情况 - 在我的查询中，我传递了这样的内容： ?- query( 2*X + 3*Y >= 3*Z ) 现在，我想做的是让 prolog 程序捕获不等式表达…
在序言中使用统一项操纵器创建延迟约束
这是我在序言中的算术不等式表达式： 2*X + 3*Y > 4*Z 我使用了单位项操纵器，如下所示： Expr =.. [Op, Lhs, Rhs] 现在我有 Lhs = 2*X + 3*Y，Rhs 为…
用于解决单纯形问题的 swi prologs clpq 库的替代方案
抱歉，如果这是错误的地方。 我一直在使用 SWI Prolog 的 clpq 库来解决单纯形问题。我发现语法非常简单且富有表现力。它看起来像这样： :- use_modul…
