powered by
eliminated
obvious contradiction
inFeasible
isFeasible(E, warn = FALSE)
editmatrix
editarray
editset
isObviouslyInfeasible
isObviouslyRedundant