
hcc(+Vars)

   Hall Circuit Constraint

Arguments
   Vars                Collection of variables representing the successor of each node

Type
   library(hcc)

Description

        Equivalent to hcc(Vars, _, []).
    


