z3 - 如何在Linux下从Z3编译示例代码

Question

我下载了 Linux 版本的 z3，并试图使其在 Linux 下工作，但无法编译(我正在使用 gcc 编译示例代码)。我从 gcc 编译器获得了 undefined reference 的列表。我相信我在编译代码时指定了 lib 文件位置。 任何人都可以提供我需要哪些库才能使其正确编译。

Answer 1

Z3 for linux 是使用编译的

gcc (Ubuntu/Linaro 4.6.1-9ubuntu3) 4.6.1

如果您使用的 gcc 版本不兼容，则可能会出现链接错误。

你成功编译了Z3附带的C示例吗？ 它位于:z3/examples/c

要编译它，你必须执行

./build.sh

如果不起作用，可能是因为您使用的 GCC 版本不兼容。