Кому-нибудь удалось заставить приложение Silverlight 4 использовать Microsoft Z3?
Кажется, оно не работает, я думаю, потому что оно использует нативные библиотеки Windows.
Да, Z3 DLL - это нативный код, и это, скорее всего, источник вашей проблемы.Я понимаю, что следующая версия Silverlight или, как предложил Эрик, бета-версия, поддерживают это.
Не могу сказать, написано ли это в нативном коде или нет, но если это так, у вас есть два варианта:
Надеюсь, это поможет!