FROM ubuntu:22.04 RUN apt-get update && apt-get install -y python3 python3-pip RUN pip install scitools-pyke # docker build -t xingyaoww/od_logic_reasoning .