هذا هو تطبيق Linux المسمى Dolphin Project الذي سيتم تشغيله في Linux عبر الإنترنت والذي يمكن تنزيل أحدث إصدار له باسم dsat-0.1.1.tar.gz. يمكن تشغيله عبر الإنترنت في موفر الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل هذا التطبيق المسمى Dolphin Project وتشغيله عبر الإنترنت للتشغيل في Linux عبر الإنترنت باستخدام OnWorks مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
مشروع Dolphin للتشغيل على Linux عبر الإنترنت
Ad
الوصف
يهدف مشروع Dolphin إلى أن يكون مشروعًا بحثيًا لتجميع الأدوات ذات الصلة بأدوات Solver لإرضاء المصدر المفتوح والأدوات المتعلقة بها مثل Bounded Model Checkers و Software Verifers.الجمهور
تكنولوجيا المعلومات والعلوم / البحث
واجهة المستخدم
وحدة التحكم / المحطة
لغة البرمجة
سي ، سي ++ ، هاسكل ، مخطط
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/dolphin-project/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
