17 May
2019
17 May
'19
5:16 p.m.
Hi Alexandre,
I've just tried to use the development version at https://spot-dev.lrde.epita.fr/app/
and fed it the following formula (which is ugly but simple, just {SERE} |-> bool), and
it died of "500 Internal Server Error".
{(((((((!"a")##1(!"b"))##0("c" <->
"d"))##0("e" xor "f"))##0(((((("g" &
"h") xor "i") <-> "j") | "k") &
"l") | "m"))##0(("n" & "o") | (!"n"
& "p")))##0("q" -> ("r" <->
"s")))##[0:1]"t"} |-> "u"
Regards,
Victor.