z3py 式のデフォルトの出力は中置表記です。出力形式をポーランド語表記に設定するオプションはありますか?
に似たオプションがあるかもしれないとset_option(html_mode=False)思いますが、設定できるオプションの詳細を説明するサポートドキュメントを見つけることができませんでした。
現在.sexpr()、式の内部表現を取得するために使用しています。ただし、これにはフィルタリングする必要がある追加情報が含まれているため、解析時にオーバーヘッドが発生します。
これは私が現在http://rise4fun.com/Z3Py/BNn2で取り組んでいる例です
[[N ≤ 4, N ≥ 2]]
として印刷したい <= N 4, >= N 2
印刷の出力を変更するために設定できるオプションはありますか? または、表現を使用するための最良のアプローチはあり.sexpr()ますか?