z3py：约束顺序的切换是否会影响Z3 SMT求解器的性能？

Question

我正在尝试提高z3py代码的性能以进行推理。您是否认为更改添加到求解器的逻辑约束的顺序可能会有所帮助？

Answer 1

可能，但是切换解算器或建立专门的策略可能会产生更大的影响。