-
Notifications
You must be signed in to change notification settings - Fork 233
/
requirements.txt
70 lines (58 loc) · 1.46 KB
/
requirements.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
# Fuzzingbook requirements
## These packages are needed to run the Python code ("make code")
## When updating these, also update the list in code/setup.py.in
beautifulsoup4>=4.9.3
cargo>=0.3
diff_match_patch>=20200713
easyplotly>=0.1.3
enforce>=0.3.4
graphviz>=0.14.2
ipython>=7.16.1
isla-solver>=0.8.9;python_version >= '3.10'
lxml>=4.5.1
Markdown>=3.3.4
markdown>=3.4.3
matplotlib>=3.3.2
multiprocess>=0.70.12.2
nbconvert>=6.0.7
nbformat>=5.0.8
networkx>=2.5
notedown>=1.5.1
numpy>=1.16.5
numpy<2.0.0 # numpy 2.0 conflicts with Pandas
pandas>=1.3.3
git+https://github.com/uds-se/pyan#egg=pyan
pydriller>=2.0
pyparsing==2.4.7 # newer versions conflict with bibtexparser
pygraphviz>=1.9 # in case of trouble, see https://pygraphviz.github.io/documentation/stable/install.html
Pygments>=2.7.1
python-magic>=0.4.18
requests>=2.26.0
scikit_learn>=0.23.2
scipy>=1.7.1
selenium>=3.141.0
showast>=0.2.4
svglib>=1.1.0
yapf>=0.31.0
z3-solver>=4.8.13.0
## Additionally, these packages are needed to create the (HTML) book:
autopep8>=1.5.4
bibtexparser>=1.0.1
entrypoints>=0.3
# ipypublish>=0.6.8 # we bring our own
ipython-genutils>=0.2.0 # required by (our) ipypublish
jupyter>=1.0.0
jupyter-client>=6.1.7
mypy>=0.910
spellchecker>=0.4
testpath>=0.6.0
types-Markdown>=3
types-requests>=2.25.11
## These packages are useful for development
### Jupyter lab development
# jupyterlab-lsp
# nbstripout>=0.5.0
# python-lsp-server[all]
### Mermaid stuff
# jupyterlab_markup
# pandoc-mermaid-filter