Does Z3py support Linear Temporal logic LTL?

StackOverflow https://stackoverflow.com//questions/20005601

  •  20-12-2019
  •  | 
  •  

문제

Does Z3py support Linear Temporal logic LTL? If yes, can you provide an example of simple explain.

도움이 되었습니까?

해결책

Z3 does not support LTL or other temporal or modal logics. The input accepted by Z3 is first-order logic with theories, such as arithmetic.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top