pycsp3>=2.2

[all]
ortools>=9.0
docplex>=2.25
z3-solver>=4.8
gcspy>=0.1.9
pumpkin-solver>=0.1

[cpo]
docplex>=2.25

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

[gcs]
gcspy>=0.1.9

[ortools]
ortools>=9.0

[pumpkin]
pumpkin-solver>=0.1

[z3]
z3-solver>=4.8
