The Cut Pool

Using the Coin-OR Cut Generation Library (Cgl)

Adding Your Own User Cuts

Adding Your Own Lazy Cuts