def solve_minmax(self, expr):
if isinstance(expr, int):<EOL><INDENT>return expr<EOL><DEDENT>expr = self.migrate_expression(expr)<EOL>return self._solver.minmax(self._constraints, expr)<EOL>
Solves a symbolic :class:`~manticore.core.smtlib.expression.Expression` into
its minimum and maximun solution. Only defined for bitvects.

:param manticore.core.smtlib.Expression expr: Symbolic value to solve
:return: Concrete value
:rtype: list[int]