sympy>=1.12
mpmath>=1.3.0
sqlglot>=20.0.0
z3-solver>=4.12.0
jsonschema>=4.0.0

[dev]
pytest>=7.0
pytest-cov>=4.0
black>=23.0
ruff>=0.1.0
