cpp中z3的编译和执行命令？答案

【问题标题】：compilation and execution command for z3 in cpp?cpp中z3的编译和执行命令？
【发布时间】：2019-12-05 14:15:18
【问题描述】：

#include<z3++.h>  
#include<iostream>
#include"mainProj.cpp"
using namespace std;
using namespace z3;


int main()
{   context c;
    tactic t = tactic(c, "bit-blast");
    expr x = c.bv_const("x", 16);
    expr y = c.bv_const("y", 16);
    expr z = c.bv_const("z", 16);
    goal g(c);
    g.add(x == y + z);
    return 0;
}

我应该执行以下代码。编译执行的命令是什么？

【问题讨论】：

这能回答你的问题吗？ How to use Z3 with C++
没有。我以前做过。我只是忘记了编译文件的命令。
如果您不使用 Ide，这取决于您使用哪种编译器。查看这些answers 了解详情
我在 Linux 上使用 Visual Code Studio。并且命令类似于“ myProj.cpp -lz3 ”，但这个不起作用。

标签： c++ z3 smt

【解决方案1】：

我的程序的编译是 “ g++ myProj.cpp -lz3 ” 希望有用

【讨论】：

你知道g++是什么吗？
g++命令是编译器调用命令，用于源代码的预处理、编译、汇编和链接生成可执行文件