code: def add(self, *constraints: Tuple[Bool]) -> None:
          
          raw_constraints = [
              c.raw for c in cast(Tuple[Bool], constraints)
          ]  # type: List[z3.BoolRef]
          self.constraints.extend(raw_constraints)
docs: Adds the constraints to this solver.
  
          :param constraints: constraints to add