z3-solver<=4.15.4.0
black==26.3.1
isort==5.13.2
flake8==7.0.0
codeflash  # using the latest version as it updates frequently
