click==8.2.1
cvc5==1.2.0
lark==1.2.2
pymona[z3]@ git+https://github.com/neta-elad/pymona.git@v0.0.38
z3-solver==4.13.3.0

[dev]
autoflake==2.3.1
black==25.1.0
build==1.2.2.post1
isort==6.0.1
mypy==1.14.1
pytest==8.4.1
pytest-xdist==3.8.0
z3-solver-stubs@ git+https://github.com/neta-elad/z3-solver-stubs@v4.13.3.0-17
cvc5-stubs@ git+https://github.com/neta-elad/cvc5-stubs@v1.2.0-2
