silverlight - 在 Silverlight 应用程序中使用 Microsoft Z3？

Question

有没有人设法让 Silverlight 4 应用程序使用 Microsoft Z3？

我认为它似乎不起作用，因为它似乎使用本机 Windows dll。

Answer 1

是的，Z3 DLL 是本机代码，这很可能是您的问题的根源。我了解即将推出的 Silverlight 版本或如 Eric 建议的 beta 版支持这一点。

Answer 2

我不能说它是否是用本机代码编写的，但如果是，你有两个选择：

1. 等待 Silverlight 5（或立即使用测试版）
2. 创建一个使用 Z3 的 Web 服务，然后使用 silverlight 作为它前面的一层，来回传送参数和答案。

希望有帮助！