Michael.veksler/move cdcl sat

[codecov[bot]]

Codecov Report

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

Comparison is base (c4c5f6a) 96.31% compared to head (d3df0da) 96.31%.

Files	Patch %	Lines
include/solver/cdcl_sat_class.hpp	97.22%	6 Missing and 6 partials :warning:

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #24 +/- ## ========================================== - Coverage 96.31% 96.31% -0.01% ========================================== Files 20 20 Lines 1576 1574 -2 Branches 1145 1145 ========================================== - Hits 1518 1516 -2 Misses 10 10 Partials 48 48 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/24/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/24/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `61.09% <70.64%> (ø)` | | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/24/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `99.34% <98.40%> (-0.01%)` | :arrow_down: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/24/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `35.93% <34.36%> (ø)` | | 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.