0

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

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

4

2 回答 2

1

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

于 2011-08-24T08:38:04.023 回答
0

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

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

希望有帮助!

于 2011-08-24T00:09:33.327 回答