CAV2020 Artifact Evaluation for Learning from Demos

Dockerfile

# Start from a core stack version
FROM jupyter/scipy-notebook:dc9744740e12
USER root
RUN apt-get update && apt-get install -y \
    zlib1g-dev \
    graphviz
USER jovyan    
# Install from requirements.txt file
COPY requirements.txt /tmp/
COPY experiment.ipynb /home/jovyan/
RUN pip install wheel
RUN pip install --requirement /tmp/requirements.txt

experiment.ipynb

requirements.txt

attrs==19.3.0
bdd2dfa==0.4.1
blessings==1.7
dd==0.5.5
funcy==1.14
lazytree==0.3.1
multiprocess==0.70.9
py-aiger==4.0.2
py-aiger-bdd==0.3.1
py-aiger-bv==2.0.0
py-aiger-cnf==3.0.0
py-aiger-coins==1.4.0
py-aiger-gridworld==0.2.0
py-aiger-ptltl==1.2.0
py-aiger-sat==1.1.0
termplotlib==0.2.4
mce-spec-inference==0.1.0