Skip to content

Instantly share code, notes, and snippets.

@mvcisback

mvcisback/Dockerfile

Last active Apr 15, 2020
Embed
What would you like to do?
CAV2020 Artifact Evaluation for Learning from Demos
# 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
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment