z3最小Visual Studio编译器版本

Question

可用于构建z3的最小Visual Studio编译器是什么？我已经尝试从github提交2d2ec385410a133bfb8c699d1c2c85fcf141f4b8，它无法使用MSVC 2008和2010构建。我们需要它与MSVC 2008一起使用，但是在尝试将const_iterator类型转换为迭代器类型时使用该编译器构建会导致失败。所以我尝试了MSVC 2010并得到了这个：

.. \ src \ util \ hwf.cpp（320）：错误C3861：'_ mm_fmadd_sd'：找不到标识符

谢谢，

汤姆

Answer 1

两者都不再支持Visual Studio 2008和2010，Z3以及其他微软（主流支持已于今年早些时候结束，请参阅Support Lifecycle）。

_mm_fmadd_sd是浮点融合乘法的内在函数，并且在VS 2010中绝对可用，我们在很长一段时间内使用VS 2010构建Z3，因此无法成为问题。由于某种原因，您的头文件不包含该函数声明，或者编译器宏设置不正确。绝对要确保您在VS2010命令提示符下运行编译并且您没有使用Express版本（至少它没有OpenMP以及可能的其他扩展） 。