Enforcing msolve v0.9.3

[ederc]

This should fix #113, #114 via msolve v0.9.3.

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 83.43%. Comparing base (374e12d) to head (db45755).
⚠️ Report is 72 commits behind head on main.
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #116      +/-   ##
==========================================
+ Coverage   83.02%   83.43%   +0.40%     
==========================================
  Files          25       26       +1     
  Lines        2610     2765     +155     
==========================================
+ Hits         2167     2307     +140     
- Misses        443      458      +15     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.