ലിനക്സിൽ ഓൺലൈനിൽ പ്രവർത്തിക്കാനുള്ള CTL-RP എന്ന് പേരിട്ടിരിക്കുന്ന Linux ആപ്പാണിത്, ഇതിന്റെ ഏറ്റവും പുതിയ പതിപ്പ് ctlrp21_sourceforge.zip ആയി ഡൗൺലോഡ് ചെയ്യാം. വർക്ക് സ്റ്റേഷനുകൾക്കായുള്ള സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവായ OnWorks-ൽ ഇത് ഓൺലൈനായി പ്രവർത്തിപ്പിക്കാം.
OnWorks-ൽ സൗജന്യമായി Linux-ൽ പ്രവർത്തിക്കാൻ CTL-RP എന്ന് പേരിട്ടിരിക്കുന്ന ഈ ആപ്പ് ഓൺലൈനായി ഡൗൺലോഡ് ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
ഈ ആപ്പ് പ്രവർത്തിപ്പിക്കുന്നതിന് ഈ നിർദ്ദേശങ്ങൾ പാലിക്കുക:
- 1. നിങ്ങളുടെ പിസിയിൽ ഈ ആപ്ലിക്കേഷൻ ഡൗൺലോഡ് ചെയ്തു.
- 2. ഞങ്ങളുടെ ഫയൽ മാനേജറിൽ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിൽ നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമം നൽകുക.
- 3. അത്തരം ഫയൽമാനേജറിൽ ഈ ആപ്ലിക്കേഷൻ അപ്ലോഡ് ചെയ്യുക.
- 4. ഈ വെബ്സൈറ്റിൽ നിന്ന് OnWorks Linux ഓൺലൈനോ Windows ഓൺലൈൻ എമുലേറ്ററോ MACOS ഓൺലൈൻ എമുലേറ്ററോ ആരംഭിക്കുക.
- 5. നിങ്ങൾ ഇപ്പോൾ ആരംഭിച്ച OnWorks Linux OS-ൽ നിന്ന്, നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമത്തോടുകൂടിയ ഞങ്ങളുടെ ഫയൽ മാനേജർ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിലേക്ക് പോകുക.
- 6. ആപ്ലിക്കേഷൻ ഡൌൺലോഡ് ചെയ്യുക, അത് ഇൻസ്റ്റാൾ ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
ലിനക്സിൽ ഓൺലൈനിൽ പ്രവർത്തിക്കാൻ CTL-RP
Ad
വിവരണം
CTL-RP എന്നാൽ കമ്പ്യൂട്ടേഷൻ ട്രീ ലോജിക് റെസല്യൂഷൻ പ്രോവർ. കമ്പ്യൂട്ടേഷൻ ട്രീ ലോജിക് (സിടിഎൽ) ഒരു ബ്രാഞ്ചിംഗ്-ടൈം ടെമ്പറൽ ലോജിക്കാണ്. CTL-RP എന്നത് CTL-നുള്ള ഒരു റെസല്യൂഷൻ അടിസ്ഥാനമാക്കിയുള്ള സിദ്ധാന്തം തെളിയിക്കുന്നതാണ്, ഇത് അനുമാനത്തിനുള്ള ഒരു പ്രധാന എഞ്ചിനായി SPASS എന്ന ഫസ്റ്റ്-ഓർഡർ തിയറം പ്രോവർ ഉപയോഗിക്കുന്നു.കൂടുതൽ വിവരങ്ങൾക്ക് ദയവായി ഇനിപ്പറയുന്ന ലിങ്ക് കാണുക.
http://cueb.science/web/software/ (നിങ്ങൾ ചൈനയ്ക്കുള്ളിലാണെങ്കിൽ.)
http://ctlrp.sourceforge.net (നിങ്ങൾ ചൈനയിലല്ലെങ്കിൽ.)
പ്രേക്ഷകർ
ശാസ്ത്രം/ഗവേഷണം
ഉപയോക്തൃ ഇന്റർഫേസ്
കമാൻഡ്-ലൈൻ
പ്രോഗ്രാമിംഗ് ഭാഷ
C
https://sourceforge.net/projects/ctlrp/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണിത്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിലൊന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്തിരിക്കുന്നു.