Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്‌സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാവുന്ന കമാൻഡ് ക്ലാപ്പ് ആണിത്.
പട്ടിക:
NAME
clasp - ഒരു വൈരുദ്ധ്യമുള്ള നോഗുഡ് ലേണിംഗ് ഉത്തരം സെറ്റ് സോൾവർ
സിനോപ്സിസ്
കൈപ്പിടി [നമ്പർ][ഓപ്ഷനുകൾ]
വിവരണം
ഈ മാനുവൽ പേജ് ചുരുക്കത്തിൽ രേഖപ്പെടുത്തുന്നു കൈപ്പിടി കമാൻഡ്.
കൈപ്പിടി (വിപുലീകരിച്ച) സാധാരണ ലോജിക് പ്രോഗ്രാമുകൾക്കുള്ള ഉത്തര സെറ്റ് സോൾവറാണ്. ഇത് ഉയർന്നത് സംയോജിപ്പിക്കുന്നു-
അത്യാധുനിക സാങ്കേതിക വിദ്യകളുള്ള ഉത്തര സെറ്റ് പ്രോഗ്രാമിംഗിൻ്റെ (എഎസ്പി) ലെവൽ മോഡലിംഗ് ശേഷി
ബൂളിയൻ കൺസ്ട്രൈൻ്റ് സോൾവിംഗ് ഏരിയയിൽ നിന്ന്. പ്രാഥമിക clasp അൽഗോരിതം ആശ്രയിക്കുന്നു
വൈരുദ്ധ്യത്താൽ നയിക്കപ്പെടുന്ന നോഗുഡ് ലേണിംഗ്, വളരെ വിജയകരമാണെന്ന് തെളിയിച്ച ഒരു സാങ്കേതികത
സംതൃപ്തി പരിശോധന (SAT). മറ്റ് പഠന ASP സോൾവറുകൾ പോലെയല്ല, clasp ആശ്രയിക്കുന്നില്ല
ഒരു SAT സോൾവർ അല്ലെങ്കിൽ നിലവിലുള്ള മറ്റേതെങ്കിലും ASP സോൾവർ പോലുള്ള ലെഗസി സോഫ്‌റ്റ്‌വെയർ. മറിച്ച്, clasp ഉണ്ട്
വൈരുദ്ധ്യങ്ങളാൽ പ്രവർത്തിക്കുന്ന നോഗുഡ് പഠനത്തെ അടിസ്ഥാനമാക്കിയുള്ള ഉത്തര സെറ്റ് പരിഹരിക്കുന്നതിനായി യഥാർത്ഥമായി വികസിപ്പിച്ചെടുത്തതാണ്.
ഒരു ASP സോൾവറായി (LPARSE ഔട്ട്‌പുട്ട് ഫോർമാറ്റിൽ), ഒരു SAT സോൾവറായി (ഓൺ) clasp പ്രയോഗിക്കാവുന്നതാണ്.
ലളിതമാക്കിയ DIMACS/CNF ഫോർമാറ്റ്), അല്ലെങ്കിൽ ഒരു PB സോൾവർ ആയി (OPB ഫോർമാറ്റിൽ).
ഓപ്ഷനുകൾ
ഈ പ്രോഗ്രാമുകൾ സാധാരണ ഗ്നു കമാൻഡ് ലൈൻ സിന്റാക്സ് പിന്തുടരുന്നു, നീളമുള്ള ഓപ്ഷനുകൾ ആരംഭിക്കുന്നു
രണ്ട് ഡാഷുകൾ (`-'). ഓപ്ഷനുകളുടെ ഒരു സംഗ്രഹം ചുവടെ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്. പൂർണ്ണമായ വിവരണത്തിന്,
കാണുകhttp://www.cs.uni-potsdam.de/clasp/>.
-h, --സഹായിക്കൂ
ഓപ്ഷനുകളുടെ സംഗ്രഹം കാണിക്കുക.
-വി, --പതിപ്പ്
പ്രോഗ്രാമിന്റെ പതിപ്പ് കാണിക്കുക.
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് ഓൺലൈനായി clasp ഉപയോഗിക്കുക
