#constraint-encoding