Custom termination callback hooks

[goulart-paul]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 79.06977% with 27 lines in your changes missing coverage. Please review.

Project coverage is 84.09%. Comparing base (d7ca8b4) to head (7766eb1).
Report is 49 commits behind head on develop.

Files with missing lines	Patch %	Lines
src/solver/core/ffi/enums.rs	54.54%	15 Missing ⚠️
src/solver/core/solver.rs	27.27%	8 Missing ⚠️
src/solver/core/callbacks.rs	60.00%	4 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff             @@
##           develop     #176      +/-   ##
===========================================
- Coverage    90.18%   84.09%   -6.09%     
===========================================
  Files           78       87       +9     
  Lines         6420     6722     +302     
===========================================
- Hits          5790     5653     -137     
- Misses         630     1069     +439     

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