Does Z3py support Linear Temporal logic LTL?

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

  •  20-12-2019
  •  | 
  •  

Frage

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

War es hilfreich?

Lösung

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.

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow
scroll top