Update solver.py

[belzheng]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 95.30%. Comparing base (1ca4125) to head (79fe3a2).
Report is 48 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master      #97   +/-   ##
=======================================
  Coverage   95.30%   95.30%           
=======================================
  Files          19       19           
  Lines        2131     2131           
  Branches      650      650           
=======================================
  Hits         2031     2031           
  Misses         71       71           
  Partials       29       29           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.