z3-solver>=4.13

[all]
veritool[dev]

[dashboard]
streamlit>=1.28
pandas>=2.0

[dev]
pytest>=8
pyfakefs>=6
veritool[groq]
veritool[dashboard]

[groq]
groq>=0.12
