-
Salomon Sickert-Zehnter authored
- Ensure that the input formula is in negation normal form before passing it to the subsequent automaton constructions. - Catch the IllegalArgumentException if there are too many fixpoints to consider.
ba4c059a
- Ensure that the input formula is in negation normal form before passing it to the subsequent automaton constructions. - Catch the IllegalArgumentException if there are too many fixpoints to consider.