It is possible to select invalid plug-ins, for example selecting zero variable ordering plug-ins or more than one variable ordering plug-ins. This should not be possible.
Log in to post a comment.