pycsp3>=2.2

[all]
ortools>=9.0
docplex>=2.25
z3-solver>=4.8

[cpo]
docplex>=2.25

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

[ortools]
ortools>=9.0

[z3]
z3-solver>=4.8
