开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >Z3py支持线性时序逻辑LTL吗？

问Z3py支持线性时序逻辑LTL吗？
EN

Stack Overflow用户

提问于 2013-11-15 16:18:04

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

Z3py支持线性时序逻辑LTL吗？如果是，你能提供一个简单解释的例子吗？

constraint-programming

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2013-11-15 16:44:44

Z3不支持LTL或其他时态或模态逻辑。Z3所接受的输入是一阶逻辑，具有算术等理论.

票数 3

EN

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

原文链接：

https://stackoverflow.com/questions/20005601

复制

相似问题