A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions