我如何在 choco-solver 中调用 cpprofiler 进行约束编程分析

Question

我在 choco-solver 文档中找到了这个，但我不知道如何将它与提供的 choco-solver 示例程序一起使用以进行分析。

注意：我已经在我的机器上安装了 cpprofiller 并启动了它。 所以它在端口 6565 上启动了一个 tcp 服务器。

请需要帮助。

Answer 1

首先，确保您的代码如下所示：

try (CPProfiler profiler = new CPProfiler(s1.getSolver(), true)) {
   solver.findSolution();
}

然后，您应该先启动 CPProfiler，然后运行 run Java 程序。 一旦您 go 返回到 CPProfiler 界面，您应该会看到正在更新的搜索树。