def maximize(self, element: Expression[z3.ExprRef]) -> None:
        """In solving this solver will try to maximize the passed expression.

        :param element:
        """
        self.raw.maximize(element.raw)
def maximize ( self , element : Expression [ z3 . ExprRef ] ) -> None : self . raw . maximize ( element . raw )
In solving this solver will try to maximize the passed expression.

        :param element: