Split up the remainder of cdcl_sat.hpp

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (bfbc42e) 96.25% compared to head (8d71377) 96.31%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #33 +/- ## ========================================== + Coverage 96.25% 96.31% +0.05% ========================================== Files 23 25 +2 Lines 1576 1572 -4 Branches 1144 1144 ========================================== - Hits 1517 1514 -3 + Misses 10 9 -1 Partials 49 49 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/33/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [Linux](https://app.codecov.io/gh/michael-veksler/solver/pull/33/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `61.09% <66.66%> (-0.05%)` | :arrow_down: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/33/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `99.34% <100.00%> (ø)` | | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/33/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `35.69% <0.00%> (-0.27%)` | :arrow_down: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#carryforward-flags-in-the-pull-request-comment) to find out more.

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.