anytree
gurobipy
numpy
ortools==9.14.6206
pandas
pydantic
scikit-learn
xgboost

[:platform_system != "Windows"]
python-sat[aiger,pblib]

[:platform_system == "Windows"]
python-sat

[dev]
coverage
mypy
pandas-stubs
pyright
pytest
pytest-cov
ruff
scipy-stubs
tox

[example]
rich
matplotlib

[test]
coverage
mypy
pandas-stubs
pyright
pytest
pytest-cov
ruff
scipy-stubs
tox

[test:platform_system != "Windows"]
python-sat[aiger,pblib]

[test:platform_system == "Windows"]
python-sat
