Z3 C++API的哪些部分仍然受支持

What parts of the Z3 C++ API are still supported?

本文关键字：支持些部 C++API Z3 更新时间：2023-10-16

我看到一些Z3 API被标记为不推荐使用。我还看到Leonardo的一些评论，即更多的API在2012年退役（相关：上下文处于维护模式）。我应该使用API的哪些部分？

这个页面是C API活动部分的好指南吗？此页面和C++是否相同？

我想我只是想从知情人士那里得到两个肯定，但如果它更微妙，那么我会洗耳恭听。

是的，C API的某些部分被标记为不推荐使用。它们在本页中列出。两个相关的组是：理论插件API和旧的求解器API。