z3-solver>=4.12

[:python_version < "3.12"]
pulp<4,>=2.7

[:python_version >= "3.12"]
pulp[cbc]<5,>=2.7

[mcp]
mcp>=2.0

[numerics]
python-flint>=0.6
mpmath>=1.3
numpy>=1.24
clarabel>=0.9
highspy>=1.7

[polyhedra]
pycddlib>=3.0
