还支持Z3 C ++ API的哪些部分？

Question

我看到一些Z3 API被标记为已弃用。我还看到Leonardo的一些评论，即更多的API在2012年退役（相关：contexts are in maintenance mode）。我应该使用API​​的哪些部分？

this page是否是C API活动部分的良好指南？ this page和C ++相同吗？

我想我只是从知道的人那里寻找两个是的，但如果它更加细致，那么我就全都听见了。

Answer 1

是的，C API的某些部分已标记为已弃用。它们列在this page中。 两个相关的组是：理论插件API和旧的求解器API。