【发布时间】：2013-11-29 02:42:53
【问题描述】：
Z3py 是否支持线性时序逻辑 LTL？ 如果是的话，你能提供一个简单解释的例子吗？
【问题讨论】：
标签： z3 constraint-programming z3py
【发布时间】：2013-11-29 02:42:53
【问题描述】：
Z3 不支持 LTL 或其他时间或模态逻辑。 Z3接受的输入是一阶逻辑，有算术等理论。
【讨论】：
【发布时间】：2013-11-29 02:42:53
【问题描述】：
Z3py 是否支持线性时序逻辑 LTL？ 如果是的话，你能提供一个简单解释的例子吗？
【问题讨论】：
标签： z3 constraint-programming z3py
Z3 不支持 LTL 或其他时间或模态逻辑。 Z3接受的输入是一阶逻辑，有算术等理论。
【讨论】：