class
CompetPBMaxClauseCardConstrDataStructure
PBMaxCBClauseCardConstrDataStructure
PBMaxClauseAtLeastConstrDataStructure