October 5, 2024

classification of constraints