28 Nov
2022
28 Nov
'22
4:55 p.m.
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
30 Nov
30 Nov
11:02 a.m.
"Liu, Jason Xinyu" <xinyu_liu(a)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
3:15 p.m.
Hi Alexandre,
Thank you so much for the info!
Best,
Jason
On Wed, Nov 30, 2022 at 5:02 AM Alexandre Duret-Lutz <adl(a)lrde.epita.fr>
wrote:
"Liu, Jason Xinyu"
<xinyu_liu(a)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
944
days inactive
946
days old
2 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
Liu, Jason Xinyu