pycsp3>=2.2

[all]
ortools>=9.0
docplex>=2.25
z3-solver>=4.8
pumpkin-solver>=0.1
minizinc>=0.9

[cpo]
docplex>=2.25

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

[minizinc]
minizinc>=0.9

[ortools]
ortools>=9.0

[pumpkin]
pumpkin-solver>=0.1

[z3]
z3-solver>=4.8
