picosat - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

picosat - തെളിവും പ്രധാന പിന്തുണയും ഉള്ള SAT സോൾവർ

സിനോപ്സിസ്

പിക്കോസാറ്റ് [ഓപ്ഷനുകൾ] ഇൻപുട്ട്-ഫയൽ

വിവരണം

ഈ മാനുവൽ പേജ് ചുരുക്കത്തിൽ രേഖപ്പെടുത്തുന്നു പിക്കോസാറ്റ് കമാൻഡ്.

പിക്കോസാറ്റ് തെളിവും പ്രധാന കഴിവുകളും ഉള്ള ഒരു SAT സോൾവർ ആണ്. ഉപയോഗിക്കുക picosat.trace ബൈനറി വരെ
യഥാർത്ഥത്തിൽ ഈ കഴിവുകൾ ഉപയോഗിക്കുക (ഇവയ്ക്ക് ചില ഓവർഹെഡ് ഉണ്ടാകും).

ഓപ്ഷനുകൾ

-h ഓപ്ഷനുകളുടെ സംഗ്രഹം കാണിക്കുക.

--പതിപ്പ്
പതിപ്പ് അച്ചടിച്ച് പുറത്തുകടക്കുക

--config
ബിൽഡ് കോൺഫിഗറേഷൻ പ്രിന്റ് ചെയ്ത് പുറത്തുകടക്കുക

-v വെർബോസ് ഔട്ട്പുട്ട് പ്രവർത്തനക്ഷമമാക്കുക

-f അസാധുവായ തലക്കെട്ട് അവഗണിക്കുക

-n തൃപ്തികരമായ അസൈൻമെന്റ് പ്രിന്റ് ചെയ്യരുത്

-p DIMACS ഫോർമാറ്റിൽ ഫോർമുല പ്രിന്റ് ചെയ്ത് പുറത്തുകടക്കുക

-i <0/1>
സ്ഥിരസ്ഥിതി ഘട്ടമായി യഥാക്രമം TRUE എന്ന് നിർബന്ധിക്കുക

-a
ഒരു അനുമാനത്തോടെ ആരംഭിക്കുക

-l
തീരുമാന പരിധി നിശ്ചയിക്കുക

-s
ക്രമരഹിത നമ്പർ ജനറേറ്റർ വിത്ത് സജ്ജമാക്കുക

-o
ഔട്ട്പുട്ട് ഫയൽ സജ്ജമാക്കുക

-t
കോം‌പാക്റ്റ് പ്രൂഫ് ട്രെയ്‌സ് ഫയൽ സൃഷ്‌ടിക്കുക (picosat.trace ഉപയോഗിക്കുക, മുകളിൽ കാണുക).

-T
വിപുലീകൃത പ്രൂഫ് ട്രെയ്സ് ഫയൽ സൃഷ്ടിക്കുക (picosat.trace ഉപയോഗിക്കുക, മുകളിൽ കാണുക).

-r
റിവേഴ്സ് യൂണിറ്റ് പ്രൊപ്പഗേഷൻ പ്രൂഫ് ഫയൽ സൃഷ്ടിക്കുക (picosat.trace ഉപയോഗിക്കുക, മുകളിൽ കാണുക).

-c
DIMACS ഫോർമാറ്റിൽ ക്ലോസൽ കോർ ഫയൽ സൃഷ്ടിക്കുക (picosat.trace ഉപയോഗിക്കുക, മുകളിൽ കാണുക).

-V
ഫയൽ ലിസ്റ്റിംഗ് കോർ വേരിയബിളുകൾ സൃഷ്ടിക്കുക

-U
ഫയൽ ലിസ്റ്റിംഗ് ഉപയോഗിച്ച വേരിയബിളുകൾ സൃഷ്ടിക്കുക

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് picosat ഓൺലൈനായി ഉപയോഗിക്കുക