/**
* Creates a strong connectedness constraint which ensures that g is strongly connected
*
* @param g a directed graph variable
* @return A strong connectedness constraint which ensures that g is strongly connected
*/
public static Constraint strongly_connected(IDirectedGraphVar g) {
return nb_strongly_connected_components(
g, VF.bounded("nbSCC", 0, g.getNbMaxNodes(), g.getSolver()));
}