docs: def set_phases(self, literals=[]):
          """
              Sets polarities of a given list of variables.
          """
  
          if self.lingeling:
              pysolvers.lingeling_setphases(self.lingeling, literals)