z3-solver
rich
click
pyparsing
apronpy
tqdm

[dev]
pytest>=6.0
pytest-cov
pytest-timeout
flake8
black
isort
mypy
build
twine

[docs]
sphinx
sphinx-autodoc

[lsp]
python-lsp-server
