Contributor: John J. Forrest
Maintainer: John J. Forrest, jjforre@…


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.


Presolve will also be done.

Existing row names may be replaced by R0000000 etc.

Documentation and Bug Reports

See the section "Project Links" on the Cgl main Trac page.

Last modified 15 years ago Last modified on Nov 18, 2006 12:32:13 PM