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 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)