December 28, 2025

classification of constraints