开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >CVC4最小化/最大化模型优化

问CVC4最小化/最大化模型优化
EN

Stack Overflow用户

提问于 2016-05-18 16:09:13

回答 1查看 248关注 0票数 0

CVC4是否可使位向量就像Z3一样的结果模型最大化或最小化？

谢谢。

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-05-20 04:56:26

不幸的是，CVC4还不支持优化。对于位向量，您可以自己使用多个查询和二进制搜索，但它不是内置的。

票数 3

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/37304885

复制

相似问题