May 31, 2025

classification of constraints