FROM python:3.12-bookworm RUN pip install scitools-pyke # docker build -t xingyaoww/od_logic_reasoning .