lark>=1.1.0
sympy>=1.12
python-sat>=0.1.8.dev13

[antlr]
antlr4-python3-runtime==4.13.1

[dev]
pytest>=7.0
z3-solver>=4.12.0
