如何在Visual Studio中使用z3？

我想在Visual Studio 2015中使用Z3。我下載了用於Windows的當前版本（4.4.1）的二進制文件。然後我建立了一個新項目，將include文件夾添加到include目錄，並將bin文件夾添加到librariy目錄。我現在的主文件（只有文件）是：如何在Visual Studio中使用z3？

#include <z3++.h> 

void main() { 
    z3::context ctx; 
    z3::expr expr = ctx.bool_val(4); 
}

然而，當我嘗試與本地Windows調試運行此，示出了多個鏈接錯誤，例如，無法解析的外部符號_Z3_mk_config中引用.. ...。所以，顯然，我錯過了一些東西，但我不知道是什麼。

感謝您的幫助！

來源

2016-01-07 Niels Thole

您是否將lib添加到其他庫依賴項？（這與添加文件夾不同，因爲它只告訴VS在哪裏查找.lib） – Borgleader

是的，您需要告訴鏈接器與libz3.lib鏈接（稍後在運行時，.dll必須位於路徑中程序，這基本上是libz3.lib描述的內容） –

好，多虧了意見，我終於可以解決這個問題：

我需要的libz3.dll添加到附加依賴於連接器 - >輸入和lib文件夾在接頭 - 其他庫的依賴>常規。

謝謝你的幫助！

來源

2016-01-08 10:02:47

如何在Visual Studio中使用z3？

回答

相關問題