Francesco Fuggitti

Hi @peternowee, Thanks so much for your feedback and for considering this as a milestone for the pydot 2.0.0. As you might have seen, I opened the issue back in...

Hi @Tonelllo, thanks for the feature request! It would certainly be an interesting addition to the library. However, in doing that, I think we should give the user the choice...

Hi @beasteers, thank you for your contribution! Thank you, @haz, for sharing your ideas on the topic. Given the low current usage of axioms, their blurred relationship with derived predicates,...

Hi all, sorry for not getting back to you sooner. I agree with what you already said about sticking with the current BNF as much as possible. Thank you, @haz,...

Thanks for reporting the issue. This will be natively addressed from CLI11 v2.0. Check their PR at [https://github.com/CLIUtils/CLI11/pull/452](https://github.com/CLIUtils/CLI11/pull/452). Are we ok to wait for their official release? Another option would...

Thanks for the fixes here! There are still 5 checks failing...

Hi @nmanginas, thanks for reaching out! Yes, you're right. The string "~b" should be accepted. This is a bug (a nice viz is [here](https://quickstrom.github.io/ltl-visualizer/?formulae=and%28implies%28not%28next%28not%28A%29%29%29%2C+B%29%2C+implies%28B%2C+not%28next%28not%28A%29%29%29%29%29&trace=%7C%7C%7C)). Now, I don't have much time...

thank you for reporting this issue. Could you give a bit more details about it? Thanks

The transformation to NNF is correct but also in that case the string "~b" should be accepted. [See the comparison here](https://quickstrom.github.io/ltl-visualizer/?formulae=and%28implies%28not%28next%28not%28A%29%29%29%2C+B%29%2C+implies%28B%2C+not%28next%28not%28A%29%29%29%29%29%7Cor%28and%28next%28not%28A%29%29%2C+not%28B%29%29%2C+and%28B%2C+not%28next%28not%28A%29%29%29%29%29&trace=%7C%7C%7C)

Yeah, lowercasing everything could be a quick fix. We just need to decide whether to lowercase only for comparisons and keep the original strings, or to lowercase everything throughout.