z3 - z3 4.0 C# API 是否只能针对 .net 4.0 框架？

Question

我们有一个庞大的 .net framework 3.5 系统，但似乎 z3 4.0 C# API 仅适用于 .net framework 4.0。无论如何，我们的系统是否可以在当前不升级 .net 框架版本的情况下使用该 API（这样做很难）？

Answer 1

.NET 接口的当前代码需要 .NET 4.0，因为它依赖于此版本中首次引入的一些功能（例如，System.Numerics 和 System.Collections.Concurrent）。不过升级到 4.0 应该不是什么大问题，它只需要顶级应用程序，因为它应该与为 3.5 框架编译的其他组件向后兼容（除了少数例外，请参阅MSDN .NET 版本兼容性）。

如果您的代码不需要 BigIntegers，则可以为我们解决这些问题；我可以为你制作一个“特别版”。不过，这需要付出一些努力，并且不会有未来的更新，所以我们应该只在绝对必要的情况下考虑这一点。

我们目前正在研究发布 .NET API 源代码的可能性，因此未来此类适应和修改可以由最终用户自己完成。在这种情况下，我会要求感兴趣的用户直接与自己联系，以便我们可以根据具体情况讨论“特别版”。