作为我研究的一部分，我必须深入掌握巧克力。我有两个选择与 choco 求解器有关。我想创建一个自定义搜索策略，它将干预值和变量的顺序。还是直接干预Choco的搜索树，如何管理搜索树，如何修改？欢迎任何帮助、示例或资源，即使它是另一个求解器的示例。谢谢
作为我研究的一部分，我必须深入掌握巧克力。我有两个选择与 choco 求解器有关。我想创建一个自定义搜索策略，它将干预值和变量的顺序。还是直接干预Choco的搜索树，如何管理搜索树，如何修改？欢迎任何帮助、示例或资源，即使它是另一个求解器的示例。谢谢