code: def add(self, *constraints):
          
          cc = self._adjust_constraint_list(constraints)
          return self._solver.add(cc)
docs: Add some constraints to the solver.
  
          :param constraints:     Pass any constraints that you want to add (ASTs) as varargs.