[ library(hcc) | Reference Manual | Alphabetic Index ]

hcc(+Vars, ++Options)

Hall Circuit Constraint

Vars: Collection of variables representing the successor of each node
Options: List of options

Description

Equivalent to hcc(Vars, _, Options).