add inequality unit tests for lp solvers