[ Reference Manual | Alphabetic Index ]library(hcc)
Hall circuit constraint
Predicates
- hcc(+Vars)
- Hall Circuit Constraint
- hcc(+Vars, ++Options)
- Hall Circuit Constraint
- hcc(+Vars, ++Points, ++Options)
- Hall Circuit Constraint
About
- Author: Alessandro Bertagnon & Marco Gavanelli
- Date: 10/06/2026
Generated from hcc.eci on 2026-07-11 18:20