May 17, 2026

classification of constraints