sym_isInfeasible To check whether the problem was proven to be infeasible. sym_isInfeasible() This post-solution query routine is used to learn whether the problem was proven to be infeasible. It prints whether or not the problem was proven to be infeasible to scilab console. This function takes no arguments It returns 1 if the problem was solved proven to be infeasible or 0 if it was not proven to be infeasible or -1 if there was an error. status=sym_isInfeasible() Sai Kiran Naragam