使用 Solver Foundation 进行约束规划的缺点
使用 Microsoft Solver Foundation for CLP 有哪些缺点？ Solver 确实在 Express/Standard 版本中提供了一些支持，但可以想象，人们需要购买昂贵的 Gu…
在 python-constraint 中添加约束时出现 KeyError
我正在制作一个函数，该函数接收司机和乘客及其位置的列表，并向司机返回乘客分配列表，以最大限度地增加分配给司机的乘客数量，但须遵守以下约束： …
Java 使用的堆与分配的对象大小
我有一个可能很愚蠢的问题。我目前正在测试 CSP 求解器 choco 和 jacop。当我运行应用程序分析（图形着色，大约 3000 个节点）时，我不完全理解结果。…
约束满足：选择具有某些特征的实数
我有一组 n 个实数。我还有一组函数， f_1, f_2, ..., f_m. 每个函数都采用一个数字列表作为其参数。我还有一组 m 个范围， [l_1, u_1], [l_2, u_2], …
Coin-OR——从 Cgl 中提取 Gomory 切割 (Coin-Or)
我正在尝试从 Cgl （剪切生成库）中提取 Cgl Gomory 剪切 Coin-Or 以下是我用来提取剪切的代码 - OsiCuts cutlist; CglGomory * gomory = new CglGomo…
Java 嵌入式 Prolog 解释器/编译器
我正在开发一个 Java 应用程序，它需要执行一些复杂的逻辑规则推导作为其功能的一部分。我想用 Prolog 或其他一些逻辑/约束编程语言而不是 Java 来编…
Java约束库（JCL）问题：如何表示加法？
我必须使用 CSP 逻辑问题解决。 epfl.ch/JCL/" rel="nofollow noreferrer">Java 约束库。现在我已经设法表示了问题的一些约束，其中大多数都基于“等…
