code: def add_atmost(self, lits, k, no_return=True):
          
  
          if self.minicard:
              res = pysolvers.minicard_add_am(self.minicard, lits, k)
  
              if res == False:
                  self.status = False
  
              if not no_return:
                  return res
docs: Add a new atmost constraint to solver's internal formula.