在Silverlight应用程序中使用Microsoft Z3？
是否有人成功获得了使用Microsoft Z3的Silverlight 4应用程序在Silverlight应用程序中使用Microsoft Z3？,silverlight,z3,Silverlight,Z3,是否有人成功获得了使用Microsoft Z3的Silverlight 4应用程序 它似乎不起作用，我想是因为它似乎使用了本机windows dll。我无法说明它是否用本机代码编写，但如果是，您有两个选择： 等待Silverlight 5（或今天使用测试版） 创建一个使用Z3的web服务，然后使用silverlight作为它前面的层，来回传递参数和答案 希望有帮助 是的，Z3 DLL是本机代码，这很可能是问题的根源。我知道即将发布的Silverlight版本或Eric建议的beta版支持这一点
它似乎不起作用，我想是因为它似乎使用了本机windows dll。我无法说明它是否用本机代码编写，但如果是，您有两个选择：
希望有帮助 是的，Z3 DLL是本机代码，这很可能是问题的根源。我知道即将发布的Silverlight版本或Eric建议的beta版支持这一点