Fatal编程技术网
  • z3/
  • 复制Z3解算器

复制Z3解算器

z3

复制Z3解算器,z3,Z3,我在帖子中看到：复制/克隆解算器的功能计划添加到Z3中，以促进一些回溯行为。我已经查阅了C API文档，但目前找不到实现这一点的方法 现在可以通过C API复制解算器了吗？该API没有复制解算器对象的方法，但可以使用Z3\u solver\u get\u断言和Z3\u solver\u断言对其进行模拟。其思想是创建一个新的解算器对象，并将断言从旧的复制到新的

我在帖子中看到：复制/克隆解算器的功能计划添加到Z3中，以促进一些回溯行为。我已经查阅了C API文档，但目前找不到实现这一点的方法

现在可以通过C API复制解算器了吗？

该API没有复制解算器对象的方法，但可以使用
Z3\u solver\u get\u断言
和
Z3\u solver\u断言
对其进行模拟。其思想是创建一个新的解算器对象，并将断言从旧的复制到新的