The weird spoiler is that we already do in a sense because we solve all single-choice dependencies first, so we will effectively solve strongly connected components easily.
But or groups are a challenge. Many solutions will share dependencies and we need to extract them.