-
Alexandre GBAGUIDI AISSE authored
* spot/twaalgos/cobuchi.cc: Avoid the product of an automaton A and its power construction Pow(A) when A is deterministic.
81af8359
* spot/twaalgos/cobuchi.cc: Avoid the product of an automaton A and its power construction Pow(A) when A is deterministic.