Anders Møller

Hi @werifu, thanks for looking into this! Improving the support for the Node.js standard library is on our TODO. I'm not sure the best approach is to include the library...

What makes you suspect there is a bug (except for the reported memory usage "0MB memory used")? Note that the each quantifier may cause a worst-case exponential increase in the...

It *is* showing what is going on: ``` Projecting #49 '/user/brussel/106/vsc10621/.local/lib/python3.9/site-packages/ltlf2dfa/automa.mona' line 5 column 2 (ex1 v_1: v_1 in $ & 0