colorize_parity can be improved in some cases
When calling colorize_parity()
, two acceptance sets have been introduced instead of only one:
Set 3 could be replaced by anything (preferably something already used) since it's between two SCCs.
Edited by Alexandre Duret-Lutz