Implement own parity game solver
Instead of relying on pgsolver for this task.
Fix printing of modality of the identity functor
CoAlgMisc: Store fixpoint variable name for every deferral
This is only useful for debugging and currently not used anywhere inthe code.
Remove unused code
Fix apply for the partial permutation tracker
- Apply all indices in the map, not only the currently tracked ones.- Apply Stars in the same way as regular formulas
Fix bug in detClosure
Move verifyFormula after simplification
Enforce aconjunctivity globally
In the future, we would need a switch for that
Disable debug output
Fix alternation level computation
Also available in: Atom