Microsoft Research の Z3 Prover は、Visual Studio コンパイラとnmake
. これは、Visual Studio を使用して開発するのに自然に適合します。開発者はそれを行っていると思います (または、実際に Eclipse などを使用していますか?)。
ただし、Z3 ソース コードを Visual Studio にインポートする方法についての説明は見つかりませんでした。VS2010 Ultimate を持っています。何をクリックするかについてのヒントはありますか?
編集: でコードを取得しましたgit clone https://git01.codeplex.com/z3
。