Используете Microsoft Z3 в приложении Silverlight? - PullRequest
0 голосов
/ 24 августа 2011

Кому-нибудь удалось заставить приложение Silverlight 4 использовать Microsoft Z3?

Кажется, оно не работает, я думаю, потому что оно использует нативные библиотеки Windows.

Ответы [ 2 ]

1 голос
/ 24 августа 2011

Да, Z3 DLL - это нативный код, и это, скорее всего, источник вашей проблемы.Я понимаю, что следующая версия Silverlight или, как предложил Эрик, бета-версия, поддерживают это.

0 голосов
/ 24 августа 2011

Не могу сказать, написано ли это в нативном коде или нет, но если это так, у вас есть два варианта:

  1. Подождите, пока Silverlight 5 (или используйте бета-версию сегодня)
  2. Создайте веб-сервис, который использует Z3, затем используйте silverlight в качестве слоя перед ним, отправляя параметры и ответы туда и обратно.

Надеюсь, это поможет!

...