def parse_options_get_use_sat_parser(*args): return _clinkgrammar.parse_options_get_use_sat_parser(*args)
def use_sat(self): """ To be used after enabling the use of the SAT solver in order to validate that it is supported by the LG library. """ return clg.parse_options_get_use_sat_parser(self._obj)
def parse_options_get_use_sat_parser(opts: 'Parse_Options') -> "int": return _clinkgrammar.parse_options_get_use_sat_parser(opts)