我如何在 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 界面，您應該會看到正在更新的搜索樹。