Z3 基准测试视窗与 Linux

Question

关于Linux与Windows中的Z3性能，是否有任何可靠的基准测试？

我知道Z3是一个Microsoft产品，但它是开源的，与Linux兼容。

问候

Answer 1

Linux得到了很好的支持。Z3在Linux上的性能与Windows相当。