# Optional solvers
z3-solver>=4.8.0
pulp>=2.5.0
ortools>=9.0.0
python-sat>=0.1.7.dev6
