Title: Computer-Assisted Analysis System for Mathematical Programming Models and Solutions