3.7.235. Strongly connected component

Denotes the fact that a constraint restricts the strongly connected components of its associated final graph. This is usually done by using a graph property like 𝐌𝐀𝐗_𝐍𝐒𝐂𝐂, 𝐌𝐈𝐍_𝐍𝐒𝐂𝐂 or 𝐍𝐒𝐂𝐂.