如何在Windows平台上的C中构建和使用Z3 API

Question

必须在C中使用Z3，检查制作SMT2。但是，我无法编译test_capi.c已经搜索过的问题，发现只有两个问题，我试图申请但没有成功。我穿的是什么：

• Windows 7 32位
• MinGW Windows
• 下载http://z3.codeplex.com/sourcecontrol/latest＃README
• 下载http://z3.codeplex.com/releases/view/101914以测试在线Z3py开发的代码

我尝试使用以下行编译：

gcc -o test_capi -I ../lib test_capi.c - L .. /bin/external -LZ3 -lstdc -lgomp

但是我没有在其他问题的下载文件中找到文件夹../lib和../bin/external，而libz3.o也没找到。

抱歉，我开始用C.编程 如何在test_capi.ce中编译任何显示命令和C语言等同于

的手册

( declare - function s ( Int Int ) Int )
( assert ( and ( > = ( s 1 1 ) 1 ) ( < = ( s 1 1 ) 4 ) ) )
( assert ( distinct ( 1 s 1 ) ( s 1 2 ) ( 3 s 1 ) ( s 1 4 ) ) ) ( check- sat) and (get -model ) .

感谢您的关注和帮助。