antlr4-python3-runtime==4.13.1
sympy>=1.12
python-sat>=0.1.8.dev13

[dev]
pytest>=7.0
antlr4-tools>=0.2.0
