Exemplo n.º 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)
Exemplo n.º 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)