click==8.1.8
cvc5==1.2.0
z3-solver==4.13.3.0

[dev]
autoflake==2.3.1
black==24.10.0
build==1.2.2.post1
isort==5.13.2
mypy==1.14.1
pytest==8.3.4
z3-solver-stubs@ git+https://github.com/neta-elad/z3-solver-stubs@v4.13.3.0-11
cvc5-stubs@ git+https://github.com/neta-elad/cvc5-stubs@v1.2.0-1
