Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാവുന്ന കമാൻഡ് ബൂലെക്ടറാണിത്.
പട്ടിക:
NAME
ബൂലെക്ടർ - ബിറ്റ്-വെക്ടറുകൾക്കും അറേകൾക്കുമുള്ള SMT സോൾവർ
സിനോപ്സിസ്
ബൂലക്ടർ [ഓപ്ഷനുകൾ] ഇൻപുട്ട്-ഫയൽ
വിവരണം
ഈ മാനുവൽ പേജ് ചുരുക്കത്തിൽ രേഖപ്പെടുത്തുന്നു ബൂലക്ടർ കമാൻഡ്.
ബൂലെക്ടർ ബിറ്റ്-വെക്റ്ററുകളുടെ ക്വാണ്ടിഫയർ-ഫ്രീ സിദ്ധാന്തത്തിന്റെ കാര്യക്ഷമമായ SMT സോൾവറാണ്
അറേകളുടെ ക്വാണ്ടിഫയർ-ഫ്രീ എക്സ്റ്റൻഷണൽ സിദ്ധാന്തവുമായുള്ള സംയോജനം.
ഓപ്ഷനുകൾ
-h ഓപ്ഷനുകളുടെ സംഗ്രഹം കാണിക്കുക.
--പതിപ്പ്
പതിപ്പ് അച്ചടിച്ച് പുറത്തുകടക്കുക
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് ഓൺലൈനിൽ boolector ഉപയോഗിക്കുക