如何使用多核运行Z3？

时间：2019-02-06 14:29:19

标签： z3 z3py

我正在尝试改善Z3代码的计时。我观察到，无论我的计算机有多少个内核，Z3始终只利用一个内核。 Z3肯定会提高性能，因此可以使用Z3的所有内核吗？

0 个答案:

没有答案
相关问题
最新问题