Constraint Formulation Protocol Design | Constraint Formulation | Mathematics | NEROS