Constraint qualifications in maximization problems | Synapse