gpt4 book ai didi

z3 - Z3到目前为止是否给出了最小不可满足的核心?

转载 作者:行者123 更新时间:2023-12-02 20:55:42 24 4
gpt4 key购买 nike

我想知道Z3现在是否可以给出最小的不可满足核心。或者有人为此提供了良好的支持?有谁知道这个吗?

非常感谢。

最佳答案

Z3 产生了无法令人满意的核心,但它们不一定是最小的。

以下是如何提取 unsat 核心的示例: http://rise4fun.com/Z3/smtc_core

您可能还想检查以下问题:

Soft/Hard constraints in Z3

Label on SMT-LIB 2.0 assertions in z3

关于z3 - Z3到目前为止是否给出了最小不可满足的核心?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10546099/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com