c++ - cpp中z3的编译和执行命令？

Question

#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;
}

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

标签： c++z3smt

Answer 1

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