Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
codeplex の Z3 バージョン 4.3.2 を使用して、Boogie と Z3 を Windows 7 にインストールするのに苦労しています。プロンプトで register.cmd コマンドで spec# のようにインストールしようとしましたが、うまくいきません。誰もそれを行う方法を教えてもらえますか?