Contents
KKT-HardNet records equality, inequality, and bound-like constraints through the same symbolic constraint API.