This question shows research effort; it is useful and clear
1
This question does not show any research effort; it is unclear or not useful
Bookmark this question.
Show activity on this post.
smt の問題のすべての満足のいくインスタンスに、他の smt の問題からの一致するインスタンスがあるかどうかを確認する必要があります。つまり、「A のすべてのインスタンスに B st のインスタンスが存在します ....」 ここで、A と B は、いくつかの smt-lib コードから生成された sat モデルです。