pycsp3>=2.2

[all]
ortools>=9.14
z3-solver>=4.8
pumpkin-solver>=0.1

[all:python_version < "3.13"]
docplex>=2.25

[cpo]

[cpo:python_version < "3.13"]
docplex>=2.25

[dev]
pytest>=7.0
pytest-cov>=4.0

[ortools]
ortools>=9.14

[pumpkin]
pumpkin-solver>=0.1

[z3]
z3-solver>=4.8
