Move all cdcl_sat code to hpp before making it a template

[codecov[bot]]

Codecov Report

Attention: 23 lines in your changes are missing coverage. Please review.

Comparison is base (07d7191) 96.13% compared to head (0c3dbeb) 95.91%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #19 +/- ## ========================================== - Coverage 96.13% 95.91% -0.22% ========================================== Files 19 18 -1 Lines 1500 1495 -5 Branches 1088 1086 -2 ========================================== - Hits 1442 1434 -8 - Misses 13 14 +1 - Partials 45 47 +2 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/19/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/19/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `62.54% <68.52%> (-0.30%)` | :arrow_down: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/19/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `98.77% <96.82%> (-0.01%)` | :arrow_down: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/19/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `35.53% <33.75%> (-1.07%)` | :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. | [Files](https://app.codecov.io/gh/michael-veksler/solver/pull/19?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [fuzz\_test/fuzz\_all\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/19?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-ZnV6el90ZXN0L2Z1enpfYWxsX3NhdC5jcHA=) | `36.06% <26.66%> (-2.27%)` | :arrow_down: | | [include/solver/cdcl\_sat.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/19?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvY2RjbF9zYXQuaHBw) | `97.14% <96.61%> (-2.86%)` | :arrow_down: |

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