pysmtで作成されたソルバを複製するには？
がpysmtにあります。私がソルバを作成し、多くのアサーションを追加したと仮定します。今、私はソルバーインスタンスのコピーを作っています。ソルバーに別のアサーションを追加する必要があるからです。どうすればいいですか？私はコードのパフォーマンスを向上させるためにそうする必要があります。 私はcopy（）、clone（）、deepcopy（）のようなことをしようとしましたが、すべて動作しません。私の現
python
z3
pysmt
2017-03-17