General Algebraic Modeling System : GAMS
در مسائل برنامهریزی خطی ، غیرخطی ، عدد صحیح ، مختلط و … بکار میرود . انواع محدودیتها را دربر میگیرد ، تابع هدف در آن متغیر تعریف میشود ، پرقدرتترین نرمافزار تحقیق در عملیات میباشد .
LINGO
در برنامهریزی خطی و غیرخطی بکار میرود . قویترین نرمافزار OR بعد از GAMS ، استفاده از مزایای Windows و help ، برقراری ارتباط با Excel ، ابعاد مساله به طور عادی: 16000 متغیر ، 8000 محدودیت .
LINDO:
در برنامهریزی خطی ، عدد صحیح ، مختلط ، صفر و یک کابرد دارد . حل به دو روش انجام می پذیرد : 1- مساله را خودبهخود حل کرده و گزارش نهایی بدهد ؛ 2- مرحله به مرحله آن را حل کند . دارای help خوب، شاملLindo/386 , Super lindo Lindo Studen ,است که Super Lindo از همه قویتر است .
GINO:
در برنامهریزی خطی و غیرخطی بکار میرود . استفاده از روش حل ماتریسی ، مساله مورد نظر به صورت کدهای ASCII ذخیره میشود ، دارای help خوب ، گزارش نهایی از حل مساله میدهد .
QSB:
در برنامهریزی خطی ، مسائل حمل و نقل ، برنامهریزی پویا ، تئوری صف ، شبیهسازی و مدیریت پروژه کاربرد دارد . تهیه گزارش نهایی ، حل مرحله به مرحله ، امکانات ویرایشی (حذف و تعدیل محدودیتها، تابع هدف و …) ، امکان دیدن قسمت خاصی از مساله ، حل ترسیمی .
TORA :
در برنامهریزی خطی ، نظریه صف ، موجودی مسائل حمل و نقل (99 مبدأ ، 99 مقصد) کاربرد دارد . بر اساس متن کتاب «حمدی طه» نوشته شده ، مساله را در قالب مخصوص خودش ذخیره میکند ، تهیه گزارش در هر مرحله و گزارش نهایی ، قابلیت ویرایش و اصلاح کلیه موارد .