ortools>=9.9
numpy>=1.5
setuptools

[all]
z3-solver
ortools
exact>=2.1.0
pindakaas>=0.2.1
docplex
pysdd
cplex
gurobipy
pumpkin-solver>=0.2.1
pychoco>=0.2.1
python-sat
minizinc
gcspy

[choco]
pychoco>=0.2.1

[cplex]
docplex
cplex

[cpo]
docplex

[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

[gurobi]
gurobipy

[minizinc]
minizinc

[ortools]
ortools

[pindakaas]
pindakaas>=0.2.1

[pumpkin]
pumpkin-solver>=0.2.1

[pysat]
python-sat

[pysdd]
pysdd

[test]
pytest
pytest-timeout

[xcsp3]
pycsp3
requests
tqdm
matplotlib
psutil
filelock

[xcsp3:platform_system != "Windows"]
gnureadline

[xcsp3:platform_system == "Windows"]
pyreadline3

[z3]
z3-solver
