constraint-programming 相关问题

约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。

我需要在Eclipse CLP中建模这个（简单）约束：给定三个域变量，比方说D1，D2和D3，我想确保这三个变量不会以相同的值结束。两个......

prolog constraint-programming eclipse-clp clp

回答 1 投票 1

对于QuasiGroup完成问题，我实现了两个模型。其中一个是基于渠道约束的模型（基于Dotu的研究）。另一个是基于...的模型

prolog constraint-programming eclipse-clp

回答 1 投票 2

当我运行我的巧克力解算器4.0.6时，我得到了这种解决方案：解决方案：X = 10，Y = 14，REIF_1 = 1，不是（REIF_1）= 0，REIF_2 = 1，不是（REIF_2）= 0，IV_3 = 2，REIF_4 = 1，不是（REIF_4）= 0 ......除了...的值

java constraint-programming choco

回答 2 投票 -4

我正在研究约束编程问题，但坚持一个特定的步骤，需要建议。我的数据包含大量订单，每个订单都有一些SKU。我想把这些订单分组......

constraint-programming minizinc

回答 2 投票 0

是否可以将SystemVerilog中的整个数组约束为与另一个数组具有相同的值？我试过这个：class some_class; rand bit array1 [10] [10]; rand bit array2 [10] [10]; ...

system-verilog constraint-programming

回答 1 投票 1

我试图用现有资源约束项目调度问题可用OPL示例添加更多约束。这里我附上了RCPSP问题的示例文件。目前在这......

cplex constraint-programming opl

回答 1 投票 0

我有一个模型用于查找特定类的整数（“基思数”），它运行良好，但速度很慢，因为它需要多次构建一个新模型。有没有办法更新......

constraint-programming or-tools

回答 1 投票 1