-
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
29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
- 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.