EXAMINER

EXAMINER is not a solver per se but rather a tool that lets the user examine the merit of a solution returned by a solver.  In short, it checks to see if solutions are satisfactory.  Namely given a solution point reported as optimal by a solver the EXAMINER software investigates primal feasibility, dual feasibility, and optimality.  It is mainly designed to help in solver development, testing, and debugging but also allows comparison of solutions across solvers or solver settings (e.g. alternative optimality tolerances and optimality criteria).  It can be used in association with BENCH to compare solvers.  EXAMINER is distributed with all systems and can run in DEMO mode.  The solver manual is on examiner.pdf.