Z3來自微軟研究院的定理證明 Z3可以使用 Visual Studio Command Prompt和make/g++構建