A closer reading of the attribute constraint spec shows that both the constraint and attribute values can be lists, and that comparisons should happen pairwise for either. The present solver only accounts for the attribute value, not the constraint value, being a list for the sake of pairwise comparison.
A closer reading of the attribute constraint spec shows that both the constraint and attribute values can be lists, and that comparisons should happen pairwise for either. The present solver only accounts for the attribute value, not the constraint value, being a list for the sake of pairwise comparison.