Open jacopol opened 6 years ago
Currently, -rga and -rgs describe good default reordering strategies before LTSmin used bandwidth reduction. It would be good to add similar combinations for the "best" bandwidth/sloan/... options in the presence of the boost library.
Currently, -rga and -rgs describe good default reordering strategies before LTSmin used bandwidth reduction. It would be good to add similar combinations for the "best" bandwidth/sloan/... options in the presence of the boost library.