z3-solver>=4.12
pulp>=2.7

[mcp]
mcp>=2.0

[numerics]
python-flint>=0.6
mpmath>=1.3
numpy>=1.24
