pysmtで作成されたソルバを複製するには？

Question

がpysmtにあります。私がソルバを作成し、多くのアサーションを追加したと仮定します。今、私はソルバーインスタンスのコピーを作っています。ソルバーに別のアサーションを追加する必要があるからです。どうすればいいですか？私はコードのパフォーマンスを向上させるためにそうする必要があります。

私はcopy（）、clone（）、deepcopy（）のようなことをしようとしましたが、すべて動作しません。私の現在の回避策は、すべてのアサーションを追跡し、新しいソルバーインスタンスを作成し、毎回ゼロから構築することです。あなたのシナリオでは

Answer 1

、最も簡単には以下のように思える：

あなたは「アサーション（）」メソッドを使用してソルバーからすべてのアサーションを取得することができます。私はそれを行うことができますようにpysmtため

from z3 import * 
x, y = Ints('x y') 
s1 = Solver() 
s1.add(x <= y) 
print s1 
s2 = Solver() 
s2.add(s1.assertions()) 
print s2