Z3来自微软研究院的定理证明 Z3可以使用 Visual Studio Command Prompt和make/g++构建