attrs<22,>=20
icontract<3,>=2.3.4
pydotplus<3,>=2
z3-solver<5,>=4
RecordFlux-language@ git+https://github.com/Componolit/RecordFlux-language.git@v0.6.0#egg=RecordFlux-language

[devel]
black==20.8b1
flake8<3.10,>=3.9.2
hypothesis<6.15,>=6.14
isort<5.10,>=5.9.1
mypy==0.910
pyicontract-lint<2.2,>=2.1.2
pylint<2.9,>=2.8.3
pytest<6.3,>=6.2.4
pytest-cov<2.13,>=2.12.1
pytest-xdist<2.4,>=2.3.0
tqdm<4.62,>=4.61.1
types-pkg_resources<0.2,>=0.1.3
