1

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

我尝试使用以下行进行编译:

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 ) .

感谢您的关注和帮助。

4

0 回答 0