CVC4 minimize/maximize 模型优化

Question

CVC4 是否提供最大化或最小化位向量结果模型的选项 as Z3 does？

谢谢。

Answer 1

遗憾的是，CVC4（尚）不支持优化。对于位向量，您始终可以使用多个查询和二进制搜索自行完成，但它不是内置的。