是z3 4.0 C＃API只能針對.net 4.0框架嗎？

我們有一個.net framework 3.5的大型系統，但似乎z3 4.0 C＃API僅適用於.net framework 4.0。無論如何，我們的系統在不升級.net框架版本的情況下使用該API（這很難這樣做）？是z3 4.0 C＃API只能針對.net 4.0框架嗎？

來源

2012-07-18 william007

.NET接口的當前代碼需要.NET 4.0，因爲它取決於此版本中首次引入的一些功能（例如，System.Numerics和System.Collections.Concurrent）。升級到4.0不應該是一個主要問題，它只是頂級應用程序所必需的，因爲它應該與爲3.5框架編譯的其他組件向後兼容（極少數例外，請參閱MSDN .NET version compatibility）。

如果您的代碼不需要BigIntegers，則可以爲我們解決這些問題;我可以爲你創建一個「特別版」。儘管如此，還是需要付出一些努力，並且不會有未來的更新，所以如果絕對必要的話，我們應該只考慮這一點。

我們目前正在研究釋放.NET API源代碼的可能性，因此將來這種適應和修改可以由最終用戶自己完成。在此之前，我會要求感興趣的用戶直接與我聯繫，以便我們可以根據具體情況討論「特殊版本」。

來源

2012-07-18 17:46:47

是的，我們真的很需要Z3 4.0 DLL for .NET Framework 3.5。您能否請將所需信息發送到jackuct1 [at] gmail.com以獲得「特殊版本」？感謝您的幫助。 – william007 2012-07-19 01:49:53

是z3 4.0 C＃API只能針對.net 4.0框架嗎？

回答

相關問題