24 Sep
2019
24 Sep
'19
9:59 a.m.
On Sun, Sep 22, 2019 at 2:17 PM Victor Khomenko victor.khomenko@newcastle.ac.uk wrote:
Hi,
Could you add a command-line option for ltl2tgba to invert the input formula before computing the automaton?
Done. https://gitlab.lrde.epita.fr/spot/spot/commit/7f21d3ff29ad3a513f261025c575e4...
Any opinion on what passing --negate twice should do?
--
Alexandre Duret-Lutz