OR-Tools CP-SAT中Python实现比C++快100倍的求解性能问题咨询

我最近在用CP_SAT求解最小支配集问题，一开始用Python写的实现速度特别快，于是打算把这套逻辑整合到我的C主项目里。结果完全照搬相同建模思路写出来的C版本，求解速度居然慢了100倍！

重点说明：规则建模的过程其实很快，拖慢速度的是实际求解环节——不知道为啥C++版本会出现大量分支运算，导致性能骤降。

Python代码片段：

# create decision variables.

备注：内容来源于stack exchange，提问作者Floris van der Hout