flask>=2.0.2
scipy>=1.5.4
sympy>=1.9
z3-solver>=4.8.14.0
lark-parser>=0.12.0
gevent-websocket>=0.10.1
wolframclient>=1.1.7
waitress>=2.1.2
