BoogiePL и Spec#

[crawter]

Доброго времени суток, уважаемые коллеги !
Недавно начал разбираться в этих языках, и столкнулся с проблемой, никак не могу понять как правильно установить бинарники.
Возможно, кто-нибудь из Вас уже сталкивался с этими технологиями и мог бы подсказать как это сделать.

Заранее спасибо !