-
重用choco求解器模型以进一步约束解决方案
我正在使用choco求解器库生成一组拼图。我需要运行求解器,检查有多少个解决方案,如果有多个,则添 -
为什么更多的数组访问性能更好?
我正在上一次使用minizinc的Coursera课程。在一项任务中,我一直在旋转轮子,因为我的模型在隐藏的测试 -
连续一周向人们随机分配任务
在以下情况下,我想每周将每天8个任务中的任务随机分配给4个人: <ul> <li>每个人每天都能准确完成 -
如何修复此递归约束满足算法,使其永远不会递归
我正在尝试实现由约束编程支持的布局算法。我试图将以下数据结构转换为Twitter引导布局。我尝试模仿 -
如何在约束编程中最小化资源之间的更改总数?
我有任务{t1,t2,t3,t4,t5},可以在任何机器{m1,m2,m3}中执行(计划)。我想最小化计算机之间的更改 -
添加一个要求数字介于上限和下限之间的约束(或工具约束优化/ CP)
问题的症结所在:“关于如何在CP工具的ortools中最适当地编码此约束的任何想法?” <hr /> 我要 -
Java约束编程
如何在约束编程中表达二次目标函数?在Cplex中,我将其编写如下: <pre><code>IloLQNumExpr objfn = model.lqNu -
特定约束,而不是最小二乘问题的一般约束
假设我手头有一个简单的问题。 <pre><code>import cvxpy as cp import numpy as np A = np.array([[ 143, -144, -343, 56] ,[ -
约束满足问题-错误:类对象没有属性
我正在尝试根据<a href="https://freecontent.manning.com/constraint-satisfaction-problems-in-python/" rel="nofollow noreferrer">this -
使用CPLEX约束编程的矩形调度程序
我需要使用约束编程在大矩形(命名为bin)中安排一组矩形。 在我使用CPLEX时,我发现了方形的 -
与AddModuloEquality相反
我在or-tools中寻找与AddModuloEquality相反的东西。 <code>x % 3 != y % 3</code>之类的东西 是否有适合该问题的自 -
CPSolver性能问题
我正在尝试使用CPSolver(而不是每个<a href="https://stackoverflow.com/questions/59210360/minimum-cost-flow-not-optimizing-rou -
给定一个数字列表,找到所有矩阵,使每一列和每一行的总和为264
假设我有16个数字的清单。使用这16个数字,我可以创建不同的4x4矩阵。我想找到所有4x4矩阵,其中列表 -
花费无限时间满足约束并产生输出的问题
我正在编写一个minizinc程序,用于安排餐厅的工人进行日常工作。 约束条件是每个工人每周只能连续工 -
Google OR工具是否支持使用多个3rdparty求解器并在运行时进行切换?
我需要让用户能够在运行时选择<strong>求解器</strong>,因此对于决定是否使用Google OR-Tools是非常重要的。 -
cp_model.CpModel()中是否有与pywrapcp.Solver()中的IsEqualCstVar类似的功能?
由于缺少AddModuloEquality,我不得不将程序从Solver更改为CpModel。我对IsEqualCstVar有以下约束,我无法“翻译 -
在接收和交付中使用容量约束
作为OR-Tools库的新手,我无法为我的要求修改现有代码。我需要在收货和送货时增加容量限制,即一个人 -
OR-Tools-使用CP-SAT进行最小化分类
我使用Google OR-Tools(CP-SAT求解器)来解决约束问题。 我需要将人们放在类别中,因此,我创建了 -
是否有整数二次规划或约束规划求解器支持大约10 ^ 54的整数值?
我已经尝试过IBM约束编程优化器,但是只有64位整数。 -
如何在Choco-solver中将实变量和int var与预定义的值集结合在一起?
我想知道如何将real和int var与预定义的域结合使用,以修剪每个域的可能值。 首先,如何为实数var -
使用SAT求解器(Python)查找特定区域内的游离多氨基酸的所有组合
我是SAT解算器领域的新手,并且需要有关以下问题的一些指导。 考虑到这一点 ❶我选择了4 -
如何使用OR工具CPSAT显示约束优化中的前10个解决方案
我已经成功创建了一个计划程序,该程序可以找到最佳解决方案,但是,我希望能检索出前10名的解决方 -
如何使用Google Or-tools传播对变量进行域过滤?
我想使用Google Or-tools来应用交互式配置。因此,我需要知道如何应用约束传播器来过滤变量域。 -
Gecode与Z3的约束随机化
我正在寻找SystemVerilog语言的基于C ++的替代方法。 尽管我怀疑还有什么可以与SystemVerilog约束语言的简单 -
在Z3中使用位向量文字
我开始将Z3与C ++ API一起使用,并且我主要对使用其对位向量的支持感兴趣。 但是,我完全迷住了 -
了解Minizincs Geost约束的输入格式
我正在尝试了解<a href="https://www.minizinc.org/doc-2.3.0/en/lib-globals.html#packing-constraints" rel="nofollow noreferrer">packi -
SAT求解器中N编码中的Atleast K
我知道,如果给定N个工具中最多k个,我可以通过将其更改为N个中最多(n-k)个来获得N中的至少K个。</p -
如何解释具有0个分支的最优或不可行解决方案?
得到类似的东西 <pre><code>result: infeasible number of branches: 0 number of conflicts: 0 walltime: -
使用minisat解决SAT问题
我一直在尝试使用minisat API解决SAT实例,但是由于某些原因,minisat在打印结果时非常慢。我很确定自己 -
使用OR-Tools表达多变量约束
我正在探索Google的Cp-SAT来建模特定类型的约束,如下所示: 约束: 变量X可以采用值1、2和3