• Options for BonCouenne
• Linearization options
• Bound tightening options
• Branching options
• Upper bounding options