ortools!=9.10.*,!=9.11.*,!=9.9.*,>=9.3.10497
numpy>=1.5
setuptools
packaging

[all]
docplex>=2.28.240
highspy<=1.14.0
pychoco<0.3.0,>=0.2.1
python-sat>=1.9.dev5
python-sat>=1.8.dev4
pindakaas<0.6.0,>=0.5.0
gcspy>=0.1.9
ortools>=9.12
pyscipopt>=6.1
pypblib
gurobipy>=11.0.0
cplex>=20.1.0.4
pumpkin-solver>=0.3.0
z3-solver>=5.0.0
exact>=2.1.0
pysdd>=0.2.11
minizinc>=0.7.0

[choco]
pychoco<0.3.0,>=0.2.1

[cplex]
docplex>=2.28.240
cplex>=20.1.0.4

[cpo]
docplex>=2.28.240

[docs]
sphinx>=5.3.0
sphinx_rtd_theme>=2.0.0
myst_parser
sphinx-automodapi
readthedocs-sphinx-search>=0.3.2

[exact]
exact>=2.1.0

[gcs]
gcspy>=0.1.9

[gurobi]
gurobipy>=11.0.0

[highs]
highspy<=1.14.0

[io.all]
pyscipopt
pindakaas<0.6.0,>=0.5.0
pycsp3

[io.cip]
pyscipopt

[io.cnf]
pindakaas<0.6.0,>=0.5.0

[io.dimacs]
pindakaas<0.6.0,>=0.5.0

[io.fzn]
pyscipopt

[io.gms]
pyscipopt

[io.lp]
pyscipopt

[io.mps]
pyscipopt

[io.opb]

[io.pip]
pyscipopt

[io.scip]
pyscipopt

[io.wcnf]
pindakaas<0.6.0,>=0.5.0

[io.xcsp3]
pycsp3

[minizinc]
minizinc>=0.7.0

[ortools]
ortools>=9.12

[pindakaas]
pindakaas<0.6.0,>=0.5.0

[pumpkin]
pumpkin-solver>=0.3.0

[pysat]
python-sat>=1.8.dev4

[pysdd]
pysdd>=0.2.11

[rc2]
python-sat>=1.9.dev5
pypblib

[scip]
pyscipopt>=6.1

[test]
pytest
pytest-timeout

[type]
mypy
types-tqdm

[xcsp3]
pycsp3
requests
tqdm
matplotlib
psutil
filelock

[xcsp3:platform_system != "Windows"]
gnureadline

[xcsp3:platform_system == "Windows"]
pyreadline3

[z3]
z3-solver>=5.0.0
