CAV2020 artifact for py-aiger tool paper

Dockerfile

# Start from a core stack version
FROM jupyter/datascience-notebook:9f9e5ca8fe5a
# Install from requirements.txt file
COPY requirements.txt /tmp/
COPY pyaiger_cav2020.ipynb /home/jovyan/work
RUN pip install --requirement /tmp/requirements.txt

pyaiger_cav2020.ipynb

requirements.txt

astutils==0.0.3
attrs==19.3.0
backcall==0.1.0
bidict==0.18.3
bleach==3.1.0
dd==0.5.4
decorator==4.4.1
defusedxml==0.6.0
entrypoints==0.3
funcy==1.14
ipykernel==5.1.4
ipython==7.11.1
ipython-genutils==0.2.0
ipywidgets==7.5.1
jedi==0.16.0
Jinja2==2.11.0
jsonschema==3.2.0
jupyter==1.0.0
jupyter-client==5.3.4
jupyter-console==6.1.0
jupyter-core==4.6.1
MarkupSafe==1.1.1
mistune==0.8.4
nbconvert==5.6.1
nbformat==5.0.4
networkx==2.4
notebook==6.0.3
pandocfilters==1.4.2
parsimonious==0.8.1
parso==0.6.0
pexpect==4.8.0
pickleshare==0.7.5
ply==3.10
prometheus-client==0.7.1
prompt-toolkit==3.0.3
psutil==5.6.7
ptyprocess==0.6.0
py-aiger==3.9.2
py-aiger-bdd==0.2.6
py-aiger-bv==1.4.0
py-aiger-ptltl==1.0.0
pydot==1.4.1
Pygments==2.5.2
pyparsing==2.4.6
pyrsistent==0.15.7
python-dateutil==2.8.1
pyzmq==18.1.1
qtconsole==4.6.0
Send2Trash==1.5.0
six==1.14.0
terminado==0.8.3
testpath==0.4.4
toposort==1.5
tornado==6.0.3
traitlets==4.3.3
wcwidth==0.1.8
webencodings==0.5.1
widgetsnbextension==3.5.1