Labeling this a bug as it violates our "pluggability" requirements. The PDB code
currently depends on the merge-and-shrink code for the variable order finder.
One way to fix this would be to move the variable order finder functionality
somewhere else.
|