3

z3py API (4.3.0) を使用しています。exprを使用して、式をデフォルトのコンテキストから新しいコンテキストtarget_ctxに簡単に変換できますexpr.translate(target_ctx)。ctxしかし、特定のコンテキストからデフォルトの Z3 コンテキストに変換するにはどうすればよいでしょうか? ContextPython API からデフォルトを取得する方法はありますか?

4

1 に答える 1