我是Z3的首发，所以我的问题可能太基础了。 但如果你让我知道我的问题的一些信息，我很高兴。 我在这个网站的历史之前搜索过。 但是我无法获得详细信息。 （因为也许......我的问题太基础了。）
[使用Visual C ++] 1）首先，我在codePlex网站上下载了“z3 4.3.0 for window”。 但是这个文件没有示例文件（test_capi.c）。 所以我得到了“z3-89c1785b73225a1b363c0e485f854613121b70a7.zip”作为示例文件。 （我不记得我能得到什么...... :(）
我成功编译python文件作为codeplex站点quide。 但我无法使用Visual C ++编译test_capi.c。 我还在“z3 4.3.0 for window”文件夹中添加了“test_capi.c”，但我也无法编译。
最后，我刚尝试使用“z3-src-4.1.1”的“test_capi.vcxproj”，这是成功的。 我无法理解。
如果我想测试“我的文件”，“z3 4.3.0 for window”需要什么文件？ 要么 我是否只能在视觉c ++中使用“z3 4.1.1”并在“z3 4.1.1”的某个位置添加“我的文件”？ （需要Z3 4.1.1的所有文件??有些位置是什么？）
我读了其他一些评论 - “Z3 4.3.0”被简化了。 我理解这个评论，我只能使用“z3 4.3.0”并成功测试。 但正如我告诉你的，我无法编译。 请给我一些信息..
[在ubuntu中使用gcc] 首先，我从codeplex网站下载了“z3-4.3.2.07d56bdc705c-x86-ubuntu-12.04.zip”。 因为我尝试使用git命令获取源代码，但我找不到源代码。 （我也不知道原因..） 无论如何...“z3-4.3.2.07d56bdc705c-x86-ubuntu-12.04.zip”没有任何示例文件，只有bin＆amp;包含文件夹已存在。 所以我也使用“z3 4.1.1”但我无法使用下面的命令进行编译。 gcc -fopenmp -o test_capi -I ../../Include -L ../../lib test_capi.c -lz3-gmp
错误是“找不到-lz3-gmp。”
在一些评论中，我发现“使用”sudo安装“”但我不知道如何安装lz3。 （当然只有“sudo install”不起作用，“sudo apt-get install z3”也行不通......）
使用gcc编译“test_capi.c”，你能解释一下吗？？
我很困惑很多种指南，但我无法获得基本信息。
提前感谢您，我希望获得信息......即使我的问题太基础了..
答案 0 :(得分：0)
首先，您应该只使用一个版本的源代码。版本4.1.1已经很老了，更新的版本不再带有test_capi.vcxproj，而是通过Makefile完成所有操作。对于最新版本，请使用unstable分支（例如，选择unstable here，然后点击下载。）
可以通过在nmake examples目录中调用make examples（在Windows上）或build（在Linux上）来编译示例。 makefile有一个名为_ex_c_example的目标，它显示了如何为C示例调用编译器。此目标使用的各种变量在build / config.mk中定义。请注意，这些变量在Windows和Linux上设置为不同的值（此文件由python scripts/mk_make.py生成）。
许多Linux发行版上的git命令与codeplex git服务器不兼容（对于修复程序请参阅here），但当然，如果直接从网页下载源代码，则不需要这样做。