python-sat>=1.8.dev22
unified-planning>=1.2.0
typing-extensions>=4.0.0

[experiments]
unified-planning[fast-downward]>=1.2.0
numpy<3.0.0,>=1.21.0
pandas>=1.3.0
matplotlib>=3.5.0
pyyaml>=6.0

[minimization]
pyeda>=0.28.0
