必须在C中使用Z3,检查制作SMT2。但是,我无法编译 test_capi.c 已经搜索了问题,发现只有两个问题,我尝试申请但没有工作。我穿的是什么:
- 视窗 7 32 位
- MinGW 窗口
- 下载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 ) .
感谢您的关注和帮助。