Contributor and Maintainer: John J. Forrest (@jjhforrest)

This is a class which uses other cut generators to strengthen cuts, establish that some cuts are redundant, fix variables and find relationships such as x + y == 1.

While cuts can be added at any time in the tree, some cuts are actually just stronger versions of existing ones. They can thus replace the existing cuts rather than being added as new cuts. This is awkward in the tree but reasonable at the root node.

Notes:

• Presolve will also be done.
• Existing row names may be replaced by R0000000 etc.