Could not find the value .*DFA for formula with free variables:[\s]*(.*?)\n.*, in the text provided
syemichel opened this issue · 3 comments
syemichel commented
I use
"dfa = formula.to_dfa()
print(dfa)"
Then I get "Could not find the value .DFA for formula with free variables:[\s](.?)\n., in the text provided
Could not find the value .Accepting states:[\s](.?)\n., in the text provided"
It's the problem of mona's installation?
francescofuggitti commented
Yes, please double-check that MONA is correctly installed and available on your PATH
BurmanT commented
I had the same error, how are you checking if MONA is correctly installed?
francescofuggitti commented
From the folder where you call the program (and therefore where MONA is called), you can type mona. If mona is properly installed, then you should get the following output:
