Z3 API の一部が非推奨とマークされています。API の多くが 2012 年に廃止されたという Leonardo のコメントもいくつか見られます (関連: contexts are in maintenance mode )。API のどの部分を使用する必要がありますか?
このページは、C API のアクティブな部分についての良いガイドですか? このページと C++ も同じですか?
事情を知っている人からの 2 つの「はい」を探しているだけだと思いますが、それがもっとニュアンスのあるものであれば、私はすべて耳を傾けます。