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