来源:https://stackoverflow.com/questions/63603982/assigning-items-to-groups-with-features 标签 algorithm set combinations Z3 z3py