I want to verify that a dual solution is dual feasible for a LP using OSI. I have a .mps/.lp file for the original (primal) problem and a dual solution. How would you suggest doing this? I tend to use OsiClp, but am also looking for a solver-independent way to do this. Thanks, Matt