CPP 中 z3 的编译和执行命令?

compilation and execution command for z3 in cpp?

本文关键字：执行 命令 编译 z3 CPP      更新时间：2023-10-16
#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 " 希望有用

相关文章：