-
Salomon Sickert authored
Revert EquivalenceClass design to address performance regression and add `BulkOperationAutomaton` for faster successor computation for simple cases.
5de4ab38
Revert EquivalenceClass design to address performance regression and add `BulkOperationAutomaton` for faster successor computation for simple cases.