例如,如果我将源文件放入一个常见的.props文件中,源文件会影响构建,但不会显示在VisualStudio中。一个简短的例子是:<?Include="a.cs"/></Project>namespace Scratch public class A {}这段代码不会编译但是,文件a.cs在visualstudi
我从github下载了最新版本,并按照说明在windows上使用visualstudio进行构建。现在,我必须在visualstudio项目中使用z3 c++ API。我将包中提供的代码示例导入到一个新的vs项目中进行测试,但它无法识别z3头文件。好像遗漏了一些东西。有人能指导我如何在vs项目中使用z3吗?