FROM python:3.13
RUN pip install --no-cache-dir z3-solver

WORKDIR /instr_reverser
CMD ["/bin/sh"]

