Add some constraints to the solver.

        :param constraints:     Pass any constraints that you want to add (ASTs) as varargs.

def add(self, *constraints):
        """
        Add some constraints to the solver.

        :param constraints:     Pass any constraints that you want to add (ASTs) as varargs.
        """
        cc = self._adjust_constraint_list(constraints)
        return self._solver.add(cc)