#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;
}
我应该执行以下代码。编译和执行的命令是什么?
我的程序的编译是“ g ++ myProj.cpp -lz3”希望它有用