1

codeplex の Z3 バージョン 4.3.2 を使用して、Boogie と Z3 を Windows 7 にインストールするのに苦労しています。プロンプトで register.cmd コマンドで spec# のようにインストールしようとしましたが、うまくいきません。誰もそれを行う方法を教えてもらえますか?

4

1 に答える 1