attrs==19.3.0
backports-abc==0.5
backports.shutil-get-terminal-size==1.0.0
configparser==4.0.2
contextlib2==0.6.0.post1
Cython==0.29.17
decorator==4.4.1
enum34==1.1.6
functools32==3.2.3.post2
futures==3.3.0
importlib-metadata==1.6.0
ipykernel==4.10.1
ipython==5.8.0
ipython-genutils==0.2.0
jsonschema==3.2.0
jupyter-client==5.3.4
jupyter-core==4.6.1
mpmath==1.1.0
nbformat==4.4.0
nbstripout==0.3.7
numpy==1.16.5
pathlib2==2.3.5
pexpect==4.7.0
pickleshare==0.7.5
prompt-toolkit==1.0.18
ptyprocess==0.6.0
pycryptosat==0.1.4
Pygments==2.4.2
pyrsistent==0.16.0
python-dateutil==2.8.1
pyzmq==18.1.1
scandir==1.10.0
simplegeneric==0.8.1
singledispatch==3.4.0.3
six==1.13.0
sympy==1.4
tornado==5.1.1
traitlets==4.3.3
wcwidth==0.1.7
zipp==1.2.0
