(self, *constraints)
return self._solver.add(cc)
Add some constraints to the solver.

        :param constraints:     Pass any constraints that you want to add (ASTs) as varargs.
Add some constraints to the solver.
Add some constraints to the solver .
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)
def add ( self , * constraints ) : cc = self . _adjust_constraint_list ( constraints ) return self . _solver . add ( cc )