是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框架吗？

回答

相关问题