Implemented cut generation.