1

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

这个页面是C API 活动部分的一个很好的指南吗？这个页面和 C++一样吗？

我想我只是在寻找知情人士的两个肯定，但如果它更细微，那么我会全神贯注。

4

1 回答 1

1

Yes, some parts of the C API were marked as deprecated. They are listed in this page. Two relevant groups are: the theory plugin API, and the old solver API.

于 2013-08-15T23:30:21.320 回答