z3py：z3pyの設定オプションをチェックする方法はありますか？ - z3、smt、z3py

z3pyでソルバーを次のように定義したとします。

s = Then("qflia","skip").solver()

sの設定オプションの値を確認する方法はありますか？

回答：

あなたは help そのパラメータのリストを取得する関数戦術は敏感で、他に何も設定されていなければ、それらはそれらのデフォルト値を持つでしょう。戦術が内部的にパラメータを変更するかもしれないことに注意してください。 with 戦術が使用されています。 戦術は異なるポイントで異なるパラメータを使用して、パラメータを複数回オーバーライドすることができるので、一般に、与えられたパラメータに対して単一の値だけではなく、したがって現在のパラメータ設定を抽出する方法もありません。