标签: choco

C:\WINDOWS\system32>choco install visualstudio2017-workload-vctools
Chocolatey v0.10.15
Installing the following packages:
visualstudio2017-workload-vctools
By installing you accept licenses for the packages.
Progress: Downloading visualstudio2017-workload-vctools 1.3.2... 100%

visualstudio2017-workload-vctools v1.3.2 [Approved]
visualstudio2017-workload-vctools package files install completed. Performing other installation steps.
The package visualstudio2017-workload-vctools wants to run 'ChocolateyInstall.ps1'.
Note: If you don't run this script, the installation will fail.
Note: To confirm automatically next time, use '-y' or consider:
choco feature enable -n allowGlobalConfirmation
Do you want to run the script?([Y]es/[A]ll - yes to all/[N]o/[P]rint): a …

我对Choco和CP完全不熟悉,但是我正在制作一个小模型来解决Steiner树问题,而Choco一直强迫第一个节点无论图形是什么(并且它不正确,我检查过).

我有一个esIntVar 数组,如果边缘在解决方案中== 1,否则== 0.对于vs设置顶点的数组也是如此.我使用数组activeEdgeW能够有一个标量约束,其中coeffs是可变的.然后我只有通道约束,树约束和sum == w约束.并尽量减少w.相当简单,但由于某种原因vs[0] == true总是,任何图形.

我的模型老实说非常简单,我真的不知道它来自哪里:

    s = new Solver("Solver");
    vs = VF.boolArray("vs", nbV, s);
    es = VF.boolArray("es", nbE, s);
    w = VF.integer("w", 0, maxW, s);

    IntVar[] activeEdgeW = new IntVar[nbE];
    for(int i = 0; i < nbE; i++) { 
        activeEdgeW[i] = VF.enumerated("activeEdgeW["+i+"]", new int[]{0,ws[i]}, s); //Weight is either 0 or ws[i]
        ICF.arithm(activeEdgeW[i], "=", ws[i]).reifyWith(es[i]); //weight of edge is ws[i] if edge is in, 0 otherwise
    }


    UndirectedGraph …

我正在尝试为react-native创建一个android模拟器，但是当我输入以下命令时，我在安装一些软件包时遇到了一些问题：choco install -y nodejs-lts openjdk11

您可以在以下网站找到上述命令：https ://reactnative.dev/docs/environment-setup

由于某种原因，nodejs-lts 不会安装。我是否必须卸载nodejs并安装nodejs-lts？这是错误的屏幕截图：

我不确定这个问题说的是什么。请帮我解决这个问题..提前致谢..

我想使用Choco 求解器编写一个 Java 程序，该程序生成满足许多约束的数学问题。问题必须采用以下形式：

x @ y ? z = r

在哪里：

• x, y&z是正整数，彼此不一定不同，其中一个为 2 位数，另外两个为 1 位数

• @&?是运算符 +、- 或 *（请注意，两者也可以代表同一个运算符）

• ? r是一位正整数

我想“按需”生成这些数学问题（例如，当时一个）并且它们需要随机化（即，生成的问题不应该没有模式或固定顺序）。

自从我做约束（满足）编程以来已经有 10 多年了，但我相信 C(S)P（最好通过 Choco 的方式）是一个适合在这里应用的工具。这是正确的，有人可以帮助我开始吗？