相关疑难解决方法(0)

Z3中的软/硬约束

如何在Z3中表达软约束和硬约束？我从API中了解到可能有假设(软约束),但在使用命令行工具时我无法表达这一点.我用z3/smt2/si来调用它

6
推荐指数

1
解决办法

3761
查看次数

标签统计

z3 ×1