MONA icon indicating copy to clipboard operation
MONA copied to clipboard

Published 20 hours ago • verified publisher icon cs-au-dk
→

Metadata

MONA - a decision procedure for monadic second-order logic on finite strings and trees

Results 2 MONA issues
Sort by recently updated
recently updated
newest added

memory explosion

3 comment

I used -s option to debug and it seems that the computation are all fine until it reaches 99% then it stucks there and eats all the memory. I even...

melbrbry avatar melbrbry

Reduce optimization breaks variable order in import

When `import` is called such that the order of variables is to be reversed (unavoidable in some cases), e.g. when computing composition of two transducers: ``` var2 x, y; ex2...

ondrik avatar ondrik

← Metadata

40
Stars
12
Forks
Watchers

Owner

verified publisher icon cs-au-dk

Metadata

MONA - a decision procedure for monadic second-order logic on finite strings and trees

Back