black==23.12.0 clingo==5.6.2 flake8==6.1.0 isort==5.13.2 mypy==1.7.1 types-six==1.16.21.9 vermin==1.6.0