【发布时间】：2016-09-15 06:02:01
【问题描述】：
CVC4 是否可以选择最大化或最小化位向量 as Z3 does 的结果模型？
谢谢。
【问题讨论】：
标签： optimization z3 smt cvc4
【发布时间】：2016-09-15 06:02:01
【问题描述】：
很遗憾，CVC4 （尚）不支持优化。对于位向量，您始终可以使用多个查询和二进制搜索自行完成，但它不是内置的。
【讨论】：
【发布时间】：2016-09-15 06:02:01
【问题描述】：
CVC4 是否可以选择最大化或最小化位向量 as Z3 does 的结果模型？
谢谢。
【问题讨论】：
标签： optimization z3 smt cvc4
很遗憾，CVC4 （尚）不支持优化。对于位向量，您始终可以使用多个查询和二进制搜索自行完成，但它不是内置的。
【讨论】：