(self, *args)
return self.solver.simplify(*args)
Simplify this state's constraints.
Simplify this state's constraints.
Simplify this state s constraints .
def simplify(self, *args):
        """
        Simplify this state's constraints.
        """
        return self.solver.simplify(*args)
def simplify ( self , * args ) : return self . solver . simplify ( * args )