Şəkil 5. İlk işə salınan pəncərə "Növbəti" düyməsini kliklədikdə, istifadəçi problemin həlli üçün bir üsul seçmək üçün səhifəyə aparılacaq.
Şəkil 6. Problemin həlli üçün bir üsul seçmək üçün pəncərə Şəkil 6-da problemin həlli üçün bir üsul seçmək üçün pəncərə göstərilir. Problemin həlli üçün bir üsul seçərkən istifadəçiyə metodun qısa təsviri göstərilir. Yeniləmə düyməsi Metodlar kataloqunu skan edir və metodların siyahısını yenidən qurur. “Növbəti” düyməsini sıxmaqla istifadəçi tapşırıq seçimi səhifəsinə keçir. Şəkil 7 tapşırıq seçim pəncərəsini göstərir. Tapşırığı seçərkən istifadəçiyə tapşırığın qısa təsviri göstəriləcək. "Növbəti" düyməsini kliklədikdə, istifadəçi məlumatları doldurmaq üçün səhifəyə daxil olur və ya tapşırıq məlumatlarını doldurmaq tələb olunmursa və müvafiq forma yoxdursa, dərhal həll nəticələrini göstərmək üçün səhifəyə keçir.
Şəkil 7. Tapşırıq seçimi pəncərəsi Şəkil 8-də problemin həllinin nəticələri ilə bir pəncərə göstərilir. Seçilmiş metod və problem, edilən təkrarların sayı, həll yolunun axtarışına sərf olunan vaxt, metodun problemi həll etməyə başladığı başlanğıc nöqtəsi və tapılan həll haqqında məlumatları əks etdirir.
Şəkil 8. Problemin həllinin nəticələri ilə pəncərə MMSolver proqram paketi müxtəlif bilik sahələrindən variasiya bərabərsizliklərinə endirilən riyazi modelləşdirmənin aktual problemlərini həll etməyə imkan verir: oyun nəzəriyyəsi problemləri, yəhər nöqtəsi problemləri, xətti və qabarıq proqramlaşdırma məsələləri, xətti tamamlama məsələləri və bir çox başqaları. Proqram paketi variasiya bərabərsizliklərinin həlli üçün ədədi üsullarda paralel proqramlaşdırma texnologiyalarını tətbiq edir. Qurulmuş alqoritmlər üzərində aparılan hesablama təcrübələri zamanı sosial-iqtisadi, texniki və informasiya sistemlərinin qurulmuş riyazi modellərini xarakterizə edən yeni qanunauyğunluqlar əldə etmək olar. Xüsusilə, proqram paketi ekvivalent deterministik məsələyə endirməklə normal və ya bərabər paylanmış təsadüfi parametrlərlə xətti stoxastik proqramlaşdırma məsələlərini həll etmək üçün istifadə edilə bilər. Deterministik ekvivalent variasiya bərabərsizliklərinə endirilən qabarıq proqramlaşdırma problemidir.
