如何使用Xcode运行Z3

Question

有人可以告诉我如何在Mac上使用Xcode运行z3吗？我试图在项目中包含所有文件，但发生了错误，表示符号未定义。

Answer 1

如果你的链接器说缺少符号，很可能它没有找到libz3.dylib，或者它找到了它并且由于某些其他原因而不喜欢它。在项目设置中，您需要告诉链接器它应链接的内容（-l选项），以及可以找到它们的位置（-L选项）。