icontract>=2.3.4
pydotplus
pyparsing>=2.4.0
z3-solver

[devel]
black
coverage
flake8
icontract>=2.3.4
isort
mypy
pydotplus
pyicontract-lint>=2.0.0
pylint
pyparsing>=2.4.0
pytest
z3-solver
