Hello,
It seems that Spot cannot parse implication and equivalent operators in prefix order. I tried on both my local machine and the online translator https://spot.lre.epita.fr/app/.
The installed Spot version is 2.11.1. The commands are - local: spot.formula("-> a b") - online translator: type in -> a b Error message: syntax error, unexpected implication operator
Thank you very much for your help and creating the conda package for Spot, that makes the installation very convenient! Happy holidays!
Best, Jason
"Liu, Jason Xinyu" xinyu_liu@brown.edu writes:
- local: spot.formula("-> a b")
- online translator: type in -> a b
Error message: syntax error, unexpected implication operator
Hi Jason,
The prefix syntax uses "i" and "e" for "->" and "<->". See
https://spot.lre.epita.fr/ioltl.html#prefix
Alexandre
Hi Alexandre,
Thank you so much for the info!
Best, Jason
On Wed, Nov 30, 2022 at 5:02 AM Alexandre Duret-Lutz adl@lrde.epita.fr wrote:
"Liu, Jason Xinyu" xinyu_liu@brown.edu writes:
- local: spot.formula("-> a b")
- online translator: type in -> a b
Error message: syntax error, unexpected implication operator
Hi Jason,
The prefix syntax uses "i" and "e" for "->" and "<->". See
https://spot.lre.epita.fr/ioltl.html#prefix
Alexandre
-
Alexandre Duret-Lutz -
Liu, Jason Xinyu