use SolvAttr, SolvAttr::requires means "Required by"