#constraint-satisfaction