def parse_options_set_use_sat_parser(*args): return _clinkgrammar.parse_options_set_use_sat_parser(*args)
def parse_options_set_use_sat_parser(opts, val): return _clinkgrammar.parse_options_set_use_sat_parser(opts, val)
def use_sat(self, value): if not isinstance(value, bool): raise TypeError("use_sat must be set to a bool") clg.parse_options_set_use_sat_parser(self._obj, value)
def parse_options_set_use_sat_parser(opts: 'Parse_Options', use_sat_solver: 'int') -> "void": return _clinkgrammar.parse_options_set_use_sat_parser(opts, use_sat_solver)
def use_sat(self, value): if not isinstance(value, bool): raise TypeError("use_sat must be set to a bool") clg.parse_options_set_use_sat_parser(self._obj, value)