(self, logic=None)
return len(self.all_solvers(logic=logic)) > 0
Returns true if self.all_solvers(logic) is non-empty
Returns true if self.all_solvers(logic) is non-empty
Returns true if self . all_solvers ( logic ) is non - empty
def has_solvers(self, logic=None):
        """
        Returns true if self.all_solvers(logic) is non-empty
        """
        return len(self.all_solvers(logic=logic)) > 0
def has_solvers ( self , logic = None ) : return len ( self . all_solvers ( logic = logic ) ) > 0