Пример #1
0
 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)
Пример #2
0
 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)