Z3 + установка буги
Я испытываю трудности с установкой Boogie и Z3 на Windows 7 с Z3 версии 4.3.2 из codeplex. Я попытался установить его как speC# с помощью команды register.cmd в командной строке, но он не работает. Может кто-нибудь сказать мне, как это сделать?
1 ответ
Буги не поддерживает Z3 версии 4.3. Вам нужна версия 4.1 (см. Страницу установки на сайте boogie.codeplex.com, которую я только что обновил).
Кстати, register.cmd была чисто SpeC# штукой.