SPINdle എന്ന് പേരിട്ടിരിക്കുന്ന വിൻഡോസ് ആപ്പാണിത്, ഇതിന്റെ ഏറ്റവും പുതിയ പതിപ്പ് spindle_all__2.2.4.zip ആയി ഡൗൺലോഡ് ചെയ്യാം. വർക്ക് സ്റ്റേഷനുകൾക്കായുള്ള സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവായ OnWorks-ൽ ഇത് ഓൺലൈനായി പ്രവർത്തിപ്പിക്കാം.
SPINdle എന്ന് പേരിട്ടിരിക്കുന്ന ഈ ആപ്പ് OnWorks-നൊപ്പം സൗജന്യമായി ഓൺലൈനായി ഡൗൺലോഡ് ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
ഈ ആപ്പ് പ്രവർത്തിപ്പിക്കുന്നതിന് ഈ നിർദ്ദേശങ്ങൾ പാലിക്കുക:
- 1. നിങ്ങളുടെ പിസിയിൽ ഈ ആപ്ലിക്കേഷൻ ഡൗൺലോഡ് ചെയ്തു.
- 2. ഞങ്ങളുടെ ഫയൽ മാനേജറിൽ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിൽ നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമം നൽകുക.
- 3. അത്തരം ഫയൽമാനേജറിൽ ഈ ആപ്ലിക്കേഷൻ അപ്‌ലോഡ് ചെയ്യുക.
- 4. ഈ വെബ്‌സൈറ്റിൽ നിന്ന് ഏതെങ്കിലും OS OnWorks ഓൺലൈൻ എമുലേറ്റർ ആരംഭിക്കുക, എന്നാൽ മികച്ച Windows ഓൺലൈൻ എമുലേറ്റർ.
- 5. നിങ്ങൾ ഇപ്പോൾ ആരംഭിച്ച OnWorks Windows OS-ൽ നിന്ന്, നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമത്തോടുകൂടിയ ഞങ്ങളുടെ ഫയൽ മാനേജർ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിലേക്ക് പോകുക.
- 6. ആപ്ലിക്കേഷൻ ഡൗൺലോഡ് ചെയ്ത് ഇൻസ്റ്റാൾ ചെയ്യുക.
- 7. നിങ്ങളുടെ Linux വിതരണ സോഫ്റ്റ്‌വെയർ ശേഖരണങ്ങളിൽ നിന്ന് വൈൻ ഡൗൺലോഡ് ചെയ്യുക. ഇൻസ്റ്റാൾ ചെയ്‌തുകഴിഞ്ഞാൽ, വൈൻ ഉപയോഗിച്ച് അവ പ്രവർത്തിപ്പിക്കുന്നതിന് നിങ്ങൾക്ക് ആപ്പിൽ ഡബിൾ ക്ലിക്ക് ചെയ്യാം. ജനപ്രിയ വിൻഡോസ് പ്രോഗ്രാമുകളും ഗെയിമുകളും ഇൻസ്റ്റാൾ ചെയ്യാൻ സഹായിക്കുന്ന വൈനിലൂടെയുള്ള ഫാൻസി ഇന്റർഫേസായ PlayOnLinux നിങ്ങൾക്ക് പരീക്ഷിക്കാവുന്നതാണ്.
ലിനക്സിൽ വിൻഡോസ് സോഫ്റ്റ്‌വെയർ പ്രവർത്തിപ്പിക്കാനുള്ള ഒരു മാർഗമാണ് വൈൻ, എന്നാൽ വിൻഡോസ് ആവശ്യമില്ല. ഏത് ലിനക്സ് ഡെസ്ക്ടോപ്പിലും നേരിട്ട് വിൻഡോസ് പ്രോഗ്രാമുകൾ പ്രവർത്തിപ്പിക്കാൻ കഴിയുന്ന ഒരു ഓപ്പൺ സോഴ്സ് വിൻഡോസ് കോംപാറ്റിബിലിറ്റി ലെയറാണ് വൈൻ. അടിസ്ഥാനപരമായി, വൈൻ ആദ്യം മുതൽ ആവശ്യത്തിന് വിൻഡോസ് വീണ്ടും നടപ്പിലാക്കാൻ ശ്രമിക്കുന്നു, അതുവഴി യഥാർത്ഥത്തിൽ വിൻഡോസ് ആവശ്യമില്ലാതെ തന്നെ എല്ലാ വിൻഡോസ് ആപ്ലിക്കേഷനുകളും പ്രവർത്തിപ്പിക്കാൻ കഴിയും.
സ്ക്രീൻഷോട്ടുകൾ:
സ്പിൻഡിൽ
വിവരണം:
പരാജയപ്പെടുത്താവുന്ന യുക്തി സിദ്ധാന്തങ്ങളുടെ അനന്തരഫലങ്ങൾ കാര്യക്ഷമമായി കണക്കാക്കാൻ ഉപയോഗിക്കാവുന്ന ഒരു യുക്തിവാദിയാണ് SPINdle. നിലവിലെ നടപ്പാക്കൽ അടിസ്ഥാന പരാജയപ്പെടുത്താവുന്ന യുക്തിയും മോഡൽ പരാജയപ്പെടുത്താവുന്ന യുക്തിയും ഉൾക്കൊള്ളുന്നു.
സവിശേഷതകൾ
- വസ്‌തുത, കർശനമായ നിയമങ്ങൾ, പരാജയപ്പെടുത്താവുന്ന നിയമങ്ങൾ, തോൽക്കുന്നവർ, ശ്രേഷ്‌ഠത എന്നിങ്ങനെ എല്ലാ തരത്തിലുമുള്ള പരാജയപ്പെടുത്താവുന്ന യുക്തികളെയും പിന്തുണയ്ക്കുന്നു.
- മോഡൽ ഓപ്പറേറ്റർ പരിവർത്തനങ്ങൾക്കൊപ്പം മോഡൽ ഡിഫീസിബിൾ ലോജിക്‌സിനെ പിന്തുണയ്ക്കുന്നു.
- നിഷേധവും വൈരുദ്ധ്യാത്മകവുമായ (പരസ്പരം എക്സ്ക്ലൂസീവ്) അക്ഷരങ്ങളെ പിന്തുണയ്ക്കുന്നു.
- പരാജയപ്പെടുത്താവുന്ന സിദ്ധാന്തം XML, പ്ലെയിൻ ടെക്സ്റ്റ് എന്നിവ ഉപയോഗിച്ച് പ്രതിനിധീകരിക്കാം (മുൻകൂട്ടി നിർവചിച്ച വാക്യഘടനയോടെ), കൂടാതെ ഒരു സിദ്ധാന്തവും അതിന്റെ വിപുലീകരണവും XML ഉപയോഗിച്ച് കയറ്റുമതി ചെയ്യാവുന്നതാണ്.
- സ്റ്റാൻഡേർഡ് ഡിഫീസിബിൾ ലോജിക് തിയറി എഡിറ്റ് ചെയ്യുന്നതിനായി ഒരു വിഷ്വൽ തിയറി എഡിറ്റർ വികസിപ്പിച്ചെടുത്തിട്ടുണ്ട്. (വിശദാംശങ്ങൾക്ക് പ്രോജക്റ്റ് ഹോം പരിശോധിക്കുക.)
പ്രോഗ്രാമിംഗ് ഭാഷ
ജാവ
Categories
ഇത് https://sourceforge.net/projects/spindlereasoner/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണ്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിലൊന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്‌തിരിക്കുന്നു.