This aggregator groups linear constraints over integer variables whose bounds are 0 and 1 and propagates faster on the grouped linear constraints.