如何使用多核运行Z3？

Question

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