Two new example instances
Added const-ness on separate_valid_cuts()
Added capacity cuts
Removed valid inequalities from lazy constraint callback