1

我需要检查某个 smt 问题的每个令人满意的实例是否有来自其他 smt 问题的匹配实例。即“A 的所有实例都存在 B st ....”的实例，其中 A 和 B 是从一些 smt-lib 代码生成的 sat 模型。

我一直在思考这个问题，但不知道该怎么做

4

0 回答 0