זוהי אפליקציית Windows בשם ArgSemSAT שניתן להוריד את המהדורה האחרונה שלה בשם ArgSemSAT_1.0rc3.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם ArgSemSAT עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל כל אמולטור מקוון של OS OnWorks מאתר זה, אך עדיף אמולטור מקוון של Windows.
- 5. ממערכת ההפעלה OnWorks Windows שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה והתקן אותה.
- 7. הורד את Wine ממאגרי התוכנה שלך להפצות לינוקס. לאחר ההתקנה, תוכל ללחוץ פעמיים על האפליקציה כדי להפעיל אותם עם Wine. אתה יכול גם לנסות את PlayOnLinux, ממשק מפואר מעל Wine שיעזור לך להתקין תוכניות ומשחקים פופולריים של Windows.
Wine היא דרך להפעיל תוכנת Windows על לינוקס, אך ללא צורך ב-Windows. Wine היא שכבת תאימות של Windows בקוד פתוח שיכולה להריץ תוכניות Windows ישירות על כל שולחן עבודה של לינוקס. בעיקרו של דבר, Wine מנסה להטמיע מחדש מספיק של Windows מאפס כדי שהוא יוכל להריץ את כל יישומי Windows מבלי להזדקק ל-Windows.
ArgSemSAT
תיאור:
אירוח שהוצא משימוש עבור פרויקט זה. האירוח החדש בשעה
https://github.com/federicocerutti/ArgSemSAT
בפרט, קוד המקור לפרסום:
פדריקו צ'רוטי, מסימיליאנו ג'אקומין, מאורו ואלאטי,
איך תכננו אלגוריתמים מנצחים לטיעון מופשט ואיזו תובנה השגנו,
בינה מלאכותית,
נפח 276,
2019,
עמודים 1-40,
ISSN 0004-3702,
https://doi.org/10.1016/j.artint.2019.08.001.
(http://www.sciencedirect.com/science/article/pii/S0004370218302650)
זמין ב
https://github.com/federicocerutti/ArgSemSAT/releases/tag/1.0.5
פתרון בעיות טיעון ב-AFs של דונג.
מחברים:
פדריקו צ'רוטיfederico.cerutti@acm.org>
מאורו ואלאטיm.vallati@hud.ac.uk>
מסימיליאנו ג'אקומיןmassimiliano.giacomin@unibs.it>
קרדיטים עבור העברה ל- MacOSX: Roman Kutlakr.kutlak@abdn.ac.uk>
ממשק משתמש
שורת הפקודה
שפת תכנות
C + +
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/argsemsat/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.