import SolverCore.reset! explicitly

[MaxenceGollier]

closes #262.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 84.68%. Comparing base (e0f214d) to head (c03a509).
⚠️ Report is 256 commits behind head on master.

Additional details and impacted files

@@             Coverage Diff             @@
##           master     #263       +/-   ##
===========================================
+ Coverage   61.53%   84.68%   +23.15%     
===========================================
  Files          11       13        +2     
  Lines        1292     1626      +334     
===========================================
+ Hits          795     1377      +582     
+ Misses        497      249      -248     

☔ 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.

[MaxenceGollier]

#261 should fix the tests for pre.